webyrd / midoriKanrenLinks
Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
☆18Updated 2 months ago
Alternatives and similar repositories for midoriKanren
Users that are interested in midoriKanren are comparing it to the libraries listed below
Sorting:
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆135Updated 2 months ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated 3 weeks ago
- Course on Metaprogramming☆72Updated 2 months ago
- Logic for story telling!☆34Updated 7 years ago
- A dynamically-typed CBPV language embedded in Racket☆39Updated last year
- miniKanren with a first-order representation of the search space☆17Updated last year
- ☆12Updated last year
- Slog 1.0☆43Updated last year
- software archaeology of reflective towers of interpreters☆16Updated 2 months ago
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- ☆138Updated 3 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Updated 5 months ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Offline partial evaluation system for Prolog written using the cogen approach☆20Updated 9 years ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- The Mechanization of Standard ML☆73Updated 3 years ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- ☆14Updated 6 years ago
- higher order dependently typed logic programing☆174Updated 7 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- A very little language☆16Updated 2 years ago
- Certified Machine Learning☆41Updated 4 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆25Updated 3 weeks ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆118Updated 2 months ago
- A (formalised) general definition of type theories☆57Updated 4 years ago