webyrd / midoriKanrenLinks
Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
☆18Updated 4 months ago
Alternatives and similar repositories for midoriKanren
Users that are interested in midoriKanren are comparing it to the libraries listed below
Sorting:
- A metalanguage for creating sophisticated DSLs in Racket.☆37Updated 3 weeks ago
- Course on Metaprogramming☆72Updated 4 months ago
- CLP(SMT) on top of miniKanren☆38Updated 3 years ago
- ☆12Updated last year
- Slog 1.0☆45Updated last year
- miniKanren with a first-order representation of the search space☆17Updated last year
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- A dynamically-typed CBPV language embedded in Racket☆39Updated last year
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Logic for story telling!☆34Updated 7 years ago
- A (formalised) general definition of type theories☆57Updated 4 years ago
- Interpreter for the reversible functional language rFun☆37Updated 7 years ago
- ☆37Updated last year
- A very little language☆16Updated 2 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Updated 2 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆136Updated 4 months ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆119Updated 3 weeks ago
- Algebraic Combinatorics in Coq☆39Updated 3 weeks ago
- A monadic library for symbolic evaluation☆71Updated 3 months ago
- Certified Machine Learning☆41Updated 4 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- A cost-aware logical framework, embedded in Agda.☆67Updated this week
- Offline partial evaluation system for Prolog written using the cogen approach☆20Updated 9 years ago
- software archaeology of reflective towers of interpreters☆16Updated 4 months ago
- A Racket library for interacting with Idris over the IDE protocol☆31Updated 7 years ago
- higher order dependently typed logic programing☆173Updated 7 years ago
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆49Updated 2 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆28Updated 2 weeks ago
- Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.☆67Updated 7 months ago