miniKanren / simple-miniKanrenLinks
Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
☆42Updated 2 years ago
Alternatives and similar repositories for simple-miniKanren
Users that are interested in simple-miniKanren are comparing it to the libraries listed below
Sorting:
- Generic collections API for Racket☆52Updated 3 years ago
- An abstract machine for analyzing Racket bytecode.☆29Updated 4 years ago
- ☆58Updated 8 years ago
- Don't Lisp, Talk!☆57Updated last year
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Canonical miniKanren implementation in Racket☆85Updated 3 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- ☆73Updated 10 years ago
- IA32 assembler in PLT Scheme☆32Updated 14 years ago
- ☆29Updated 9 years ago
- Asynchronous event loop for chez scheme with await semantics☆38Updated 3 years ago
- Hygienic Literate Programming for Chez Scheme☆46Updated 7 years ago
- An object-oriented dialect of Scheme☆60Updated 3 years ago
- Terminal emulator in racket☆42Updated last year
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago
- miniKanren for interactive tutorials on the web☆34Updated 2 weeks ago
- Official Sagittarius Scheme repository☆50Updated this week
- A collection of Scheme libraries☆30Updated 9 years ago
- Code written while working through the book LISP in Small Pieces☆28Updated 11 years ago
- R6RS SRFIs☆26Updated 13 years ago
- minikanren mips assembler/disassembler☆32Updated 10 years ago
- Indentation-based Racket Syntax☆37Updated 3 years ago
- Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48☆38Updated 13 years ago
- #lang clojure☆125Updated 9 years ago
- Hash Array Mapped Tries for Racket☆20Updated 8 years ago
- Bindings for llvm in racket☆65Updated 10 years ago
- A BASIC-flavored Lisp dialect☆72Updated 2 years ago