miniKanren / faster-miniKanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
☆16Updated 7 years ago
Alternatives and similar repositories for faster-miniKanren:
Users that are interested in faster-miniKanren are comparing it to the libraries listed below
- Auto define Racket bindings to C by parsing header files.☆29Updated 2 years ago
- A pattern match macro for chez-scheme☆18Updated 8 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆21Updated 10 years ago
- ☆13Updated 2 weeks ago
- ☆19Updated last year
- My Own Linear Lisp☆40Updated 6 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated 7 months ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Kanren with databases☆43Updated 7 months ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- Collection of scheme libraries and snippets, mostly experimenting with Chez or R6RS in general.☆16Updated 8 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 7 years ago
- A DSL for runtime code generation in racket☆67Updated 2 years ago
- ☆21Updated 5 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 5 months ago
- A data frame implementation for Racket☆37Updated 10 months ago
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- A microKanren framework for implementing constraints.☆18Updated 6 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- A port of sweet expressions to Racket☆47Updated 2 years ago
- Prototypes: Object Orientation, Functionally☆43Updated 6 months ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- A Racket refactoring engine☆63Updated this week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Updated 3 years ago
- CLP(SMT) on top of miniKanren☆35Updated 3 years ago
- A Racket Meta-Program Generator☆17Updated 4 years ago