webyrd / midoriKanrenLinks
Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
☆17Updated last month
Alternatives and similar repositories for midoriKanren
Users that are interested in midoriKanren are comparing it to the libraries listed below
Sorting:
- Slog 1.0☆43Updated last year
- Course on Metaprogramming☆71Updated 2 weeks ago
- Algebraic Combinatorics in Coq☆38Updated 5 months ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- Logic for story telling!☆34Updated 7 years ago
- miniKanren with a first-order representation of the search space☆16Updated 11 months ago
- Certified Machine Learning☆41Updated 4 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- A (formalised) general definition of type theories☆57Updated 4 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated 3 weeks ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆134Updated 3 weeks ago
- Offline partial evaluation system for Prolog written using the cogen approach☆20Updated 8 years ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Partial Commutative Monoids☆28Updated last month
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated 3 weeks ago
- ☆35Updated last year
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- Datatypes as quotients of polynomial functors☆36Updated 5 years ago
- Compilation and Verification of Data-Centric Languages☆58Updated 11 months ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆21Updated 2 weeks ago
- Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.☆68Updated 3 months ago
- HoTT in Lean 3☆80Updated 4 years ago
- software archaeology of reflective towers of interpreters☆16Updated last month
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆115Updated 2 weeks ago