A Rust logic programming library inspired by the *Kanren family of language DSLs.
☆54Mar 20, 2025Updated last year
Alternatives and similar repositories for canrun_rs
Users that are interested in canrun_rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Moved to https://github.com/dudykr/ddbase☆16Dec 14, 2023Updated 2 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 3 months ago
- A syn targetting PEG parser generator☆20Jun 11, 2023Updated 2 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Apr 15, 2021Updated 4 years ago
- a macro for constructing views in Rust 🏗️☆105Jul 29, 2020Updated 5 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- Common lisp implementation of Val Schorr's Meta-II language☆19Mar 19, 2017Updated 9 years ago
- Visualise recursive functions and tree structures.☆30Jun 6, 2021Updated 4 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflow☆59Mar 11, 2021Updated 5 years ago
- An Agda library for programming with ternary relations☆18Apr 9, 2025Updated 11 months ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- A low level, expressive language☆14Dec 12, 2024Updated last year
- A DSL and compiler for generating peephole optimizers for Cranelift☆64May 14, 2020Updated 5 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A prototype of my proposed name resolution algorithm for Rust.☆13Nov 24, 2015Updated 10 years ago
- A Haskell-like language for scripting and web apps☆14May 16, 2024Updated last year
- ☆22May 19, 2025Updated 10 months ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated last year
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- Compiler backend for generating Scheme code☆28Nov 27, 2025Updated 4 months ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆99Sep 21, 2020Updated 5 years ago
- Self-contained repository for the eponymous paper☆30Jan 11, 2019Updated 7 years ago
- Rust library for running child processes☆38Feb 24, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Well Typed Foundations 🏛️☆14Feb 3, 2021Updated 5 years ago
- ☆16Mar 11, 2022Updated 4 years ago
- Rust implementation of µKanren, a featherweight relational programming language.☆118Jan 1, 2023Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- A formalization of Pure Type Systems (PTS) in Agda☆28Jul 3, 2025Updated 8 months ago
- Datalog + Egg = Good☆66May 31, 2023Updated 2 years ago
- A simple tool to explore a TrueType font content as a tree☆30Jan 4, 2022Updated 4 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- ☆16Dec 28, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Standard ML compiler based on typed intermediate languages.☆51Aug 22, 2014Updated 11 years ago
- Make QR Code images☆25Nov 4, 2019Updated 6 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Crate for data that should be pinned to the stack at the point of declaration.☆14Dec 21, 2020Updated 5 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'☆12Oct 13, 2019Updated 6 years ago
- A simple prolog implementation in Rust☆26Nov 14, 2020Updated 5 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago