chrisamaphone / ml-mukanren
microkanren in sml
☆26Updated 9 years ago
Related projects: ⓘ
- An idris backend compiling to chez scheme☆47Updated 6 years ago
- Racket bindings for Z3☆24Updated 5 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 8 years ago
- (Somewhat) Algebraic Data Types for Racket☆35Updated last year
- ☆37Updated this week
- A Scheme-like CBPV language with Racket Interoperability☆39Updated 6 months ago
- An embedding of miniKanren in Shen.☆24Updated 9 years ago
- Martin-Löf Extensible Specification and Simulator☆28Updated 9 years ago
- ☆21Updated 7 years ago
- A language-integrated proof assistant, for and in Racket☆39Updated 8 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆11Updated 7 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 9 years ago
- A playground for type theory implementations in Racket☆20Updated 8 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Updated 9 years ago
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 5 years ago
- Miller/pattern unification in Agda☆62Updated 10 years ago
- CLP(SMT) on top of miniKanren☆35Updated 2 years ago
- Logic for story telling!☆29Updated 6 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- The Prettiest Printer☆35Updated 7 months ago
- Mindless, verified (erasably) coding using dependent types, phase 2☆20Updated 4 years ago
- The Ntha Programming Language☆93Updated 7 years ago
- A Racket library for interacting with Idris over the IDE protocol☆30Updated 6 years ago
- Lollimon, a monadic concurrent linear logic programming language☆26Updated 12 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆32Updated 7 years ago
- a minimal implementation of incremental computation in Scheme☆36Updated 7 years ago
- higher order dependently typed logic programing☆164Updated 6 years ago
- The Alms Programming Language☆43Updated 6 years ago