miniKanren / faster-miniKanrenLinks
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
☆17Updated 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:
- My adventure into the marvelous world of Web Assembly☆73Updated 7 years ago
- Shen/Scheme implementation☆128Updated this week
- Canonical miniKanren implementation in Racket☆87Updated 4 years ago
- A pattern match macro for chez-scheme☆19Updated 8 years ago
- R7RS/R6RS Scheme Implementation☆64Updated this week
- Racket parser combinators inspired by parsack and megaparsec☆82Updated last year
- Collection of Utilities for Gerbil Scheme☆45Updated 3 months ago
- ☆49Updated last month
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆167Updated 11 months ago
- Official Sagittarius Scheme repository☆59Updated this week
- Kanren with databases☆44Updated last year
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- A Racket refactoring engine☆65Updated last week
- client for a snow2 repository☆12Updated 6 years ago
- Hygienic Literate Programming for Chez Scheme☆47Updated 8 years ago
- An embeddable flow-oriented language.☆74Updated last month
- My Own Linear Lisp☆42Updated 7 years ago
- A C implementation of the Shen programming language☆70Updated 4 years ago
- A DSL for runtime code generation in racket☆68Updated 3 years ago
- Racket-based implementation of Adapton☆24Updated 6 years ago
- ☆45Updated last month
- Use Python from Racket☆36Updated last month
- Prototypes: Object Orientation, Functionally☆49Updated this week
- The package manager for Cyclone Scheme.☆33Updated last year
- Auto define Racket bindings to C by parsing header files.☆30Updated 3 years ago
- Easy scripting for DrRacket☆18Updated last month
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆36Updated 12 years ago
- Port of the 'MIT Scmutils' library to Chez Scheme.☆41Updated last year
- Access Chez Scheme documentation from the REPL☆30Updated 8 months ago
- A compiler to compile a simple subset of scheme to LLVM 10☆110Updated 4 years ago