A Rust logic programming library inspired by the *Kanren family of language DSLs.
β54Mar 20, 2025Updated 11 months ago
Alternatives and similar repositories for canrun_rs
Users that are interested in canrun_rs are comparing it to the libraries listed below
Sorting:
- a macro for constructing views in Rust ποΈβ105Jul 29, 2020Updated 5 years ago
- Lambda normalization and conversion checking benchmarks for various implementationsβ59Apr 15, 2021Updated 4 years ago
- Visualise recursive functions and tree structures.β30Jun 6, 2021Updated 4 years ago
- A formalization of System FΟ in Agdaβ20Dec 23, 2025Updated 2 months ago
- An Agda library for programming with ternary relationsβ18Apr 9, 2025Updated 10 months ago
- AACMM's generic-syntax, but with QTT-style annotationsβ21Apr 7, 2024Updated last year
- A prototype of my proposed name resolution algorithm for Rust.β13Nov 24, 2015Updated 10 years ago
- A simple tool to explore a TrueType font content as a treeβ30Jan 4, 2022Updated 4 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Genericallyβ21Jan 30, 2024Updated 2 years ago
- Compiler backend for generating Scheme codeβ28Nov 27, 2025Updated 3 months ago
- A DSL and compiler for generating peephole optimizers for Craneliftβ64May 14, 2020Updated 5 years ago
- Self-contained repository for the eponymous paperβ30Jan 11, 2019Updated 7 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rsβ99Sep 21, 2020Updated 5 years ago
- Moved to https://github.com/dudykr/ddbaseβ16Dec 14, 2023Updated 2 years ago
- A low level, expressive languageβ14Dec 12, 2024Updated last year
- Rust implementation of Β΅Kanren, a featherweight relational programming language.β118Jan 1, 2023Updated 3 years ago
- A formalization of Pure Type Systems (PTS) in Agdaβ28Jul 3, 2025Updated 8 months ago
- Sruth LΓΉbach: A toy optimization engineβ23Jun 7, 2021Updated 4 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.β41Oct 5, 2020Updated 5 years ago
- Crate for data that should be pinned to the stack at the point of declaration.β14Dec 21, 2020Updated 5 years ago
- A simple image viewer and cropperβ14Apr 22, 2022Updated 3 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)β17Apr 22, 2024Updated last year
- Build and verify byte-for-byte reproducible Rust packages using a Cargo-based workflowβ59Mar 11, 2021Updated 4 years ago
- a pragmatic point-free theorem prover assistantβ143Sep 21, 2025Updated 5 months ago
- A simple prolog implementation in Rustβ26Nov 14, 2020Updated 5 years ago
- Formalization of type theoryβ22Jul 5, 2021Updated 4 years ago
- Simply-typed lambda calculus as a QIT in cubical Agda + normalizationβ15Jan 23, 2024Updated 2 years ago
- 'Transfer' is to 'move' what 'Clone' is to 'copy'β12Oct 13, 2019Updated 6 years ago
- A syn targetting PEG parser generatorβ20Jun 11, 2023Updated 2 years ago
- Datalog + Egg = Goodβ66May 31, 2023Updated 2 years ago
- Make QR Code imagesβ25Nov 4, 2019Updated 6 years ago
- A language for designing slidesβ117Dec 3, 2025Updated 3 months ago
- Rust library for running child processesβ38Feb 24, 2026Updated last week
- An upcoming operating system built on Type-Theoryβ43Jul 1, 2020Updated 5 years ago
- β16Mar 11, 2022Updated 3 years ago
- An experimental programming language.β19May 16, 2019Updated 6 years ago
- β26Jun 9, 2023Updated 2 years ago
- Experimental Quantum Computer Simulator + Quantum Chess Implementationβ19Jan 4, 2021Updated 5 years ago
- Backup GUI targeting Backblaze's B2 API. Written in Rust.β15Sep 17, 2020Updated 5 years ago