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:
- ☆74Updated 10 years ago
- Generic collections API for Racket☆52Updated 3 years ago
- Relational interpreter in miniKanren that can generate quines☆132Updated 10 years ago
- ☆58Updated 8 years ago
- Canonical miniKanren implementation in Racket☆86Updated 3 years ago
- Don't Lisp, Talk!☆57Updated last year
- An implementation of R7RS in Racket☆101Updated 9 months ago
- Collapsing Towers of Interpreters (in Scheme)☆57Updated 6 years ago
- Guy Steele's RABBIT Scheme compiler☆62Updated 16 years ago
- IA32 assembler in PLT Scheme☆32Updated 14 years ago
- A BASIC-flavored Lisp dialect☆72Updated 2 years ago
- Clojure-based x86 assembler and toy Lisp compiler☆124Updated 9 months ago
- Hygienic Literate Programming for Chez Scheme☆46Updated 7 years ago
- functional data structures for scheme☆136Updated 6 years ago
- Bindings for llvm in racket☆66Updated 10 years ago
- Official Sagittarius Scheme repository☆51Updated this week
- Incremental Compiler paper by Abdulaziz Ghuloum, using Chez scheme, Nasm, x86_64 for OSX☆61Updated 8 years ago
- Allow Lisp programs to stop implementing an ad-hoc, informally-specified, bug-ridden, slow implementation of less than half of ISO-Prolog…☆102Updated 3 years ago
- Terminal emulator in racket☆42Updated last year
- Constraint programming language embedded in Racket☆153Updated 3 years ago
- Typed Racket data structure libraries☆59Updated 3 years ago
- General Parser Combinators in Racket☆194Updated 8 years ago
- Shen/Scheme implementation☆118Updated 2 months ago
- R7RS SRFI implementations☆33Updated 10 months ago
- A programming argot☆58Updated last year
- #lang clojure☆125Updated 10 years ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- Some useful shortcuts for DrRacket☆82Updated 4 years ago
- A compiler to compile a simple subset of scheme to LLVM 10☆109Updated 4 years ago
- ☆68Updated last week