miniKanren / simple-miniKanren
Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
☆42Updated last year
Alternatives and similar repositories for simple-miniKanren:
Users that are interested in simple-miniKanren are comparing it to the libraries listed below
- Generic collections API for Racket☆52Updated 2 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- Don't Lisp, Talk!☆57Updated 11 months ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- R6RS SRFIs☆26Updated 13 years ago
- ☆57Updated 7 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 15 years ago
- An abstract machine for analyzing Racket bytecode.☆29Updated 3 years ago
- Dream Scheme interpreter by David Joseph Stith☆15Updated 7 years ago
- ☆73Updated 10 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 9 years ago
- IA32 assembler in PLT Scheme☆32Updated 14 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- Asynchronous event loop for chez scheme with await semantics☆38Updated 3 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Updated 11 years ago
- Based on scheme to LLVM compiler from https://web.archive.org/web/20111220233738/http://www.ida.liu.se/~tobnu/scheme2llvm/☆71Updated 7 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆51Updated 14 years ago
- The RScheme Revival Project☆33Updated 15 years ago
- Hygienic Literate Programming for Chez Scheme☆45Updated 7 years ago
- An object-oriented dialect of Scheme☆59Updated 2 years ago
- ☆11Updated 3 weeks ago
- Pre-Scheme to (GNU) C compiler written in Pre-Scheme☆35Updated 11 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 2 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Relational interpreter in miniKanren that can generate quines☆131Updated 10 years ago
- A manual (beh...) clone from bitbucket to use hosted CI service which only support GitHub☆50Updated this week
- A port of sweet expressions to Racket☆47Updated 2 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- OpenGL libraries for Chez Scheme☆38Updated 8 years ago