miniKanren / faster-miniKanrenLinks
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
Sorting:
- ☆22Updated 5 years ago
- ☆14Updated last month
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A server, client and UI for remotely debugging Racket applications.☆30Updated 2 weeks ago
- My Own Linear Lisp☆40Updated 6 years ago
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- ☆47Updated last month
- A pattern match macro for chez-scheme☆18Updated 8 years ago
- Kanren with databases☆43Updated 10 months ago
- Auto define Racket bindings to C by parsing header files.☆30Updated 2 years ago
- ☆19Updated last month
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Use Python from Racket☆33Updated 10 months ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- Collection of Utilities for Gerbil Scheme☆43Updated 10 months ago
- Canonical miniKanren implementation in Racket☆85Updated 3 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- minikanren mips assembler/disassembler☆32Updated 10 years ago
- Prototypes: Object Orientation, Functionally☆46Updated last month
- S-expression swiss knife☆45Updated last week
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- ☆43Updated last month
- A port of sweet expressions to Racket☆48Updated 2 years ago
- A Racket refactoring engine☆63Updated this week
- The Alms Programming Language☆44Updated 6 years ago
- The package manager for Cyclone Scheme.☆32Updated last year
- ☆19Updated last month