mbillingr / lisp-in-small-pieces
Working through the Book Lisp In Small Pieces
☆12Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for lisp-in-small-pieces
- software archaeology of reflective towers of interpreters☆15Updated last month
- Summaries of intro and advanced miniKanren hangout series☆28Updated 6 years ago
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- A notional machine for the SMoL languages☆21Updated last year
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- An embeddable flow-oriented language.☆59Updated last month
- ☆13Updated 8 months ago
- A Kafka client for Racket.☆17Updated 10 months ago
- An implementation of the Lox language in Racket.☆30Updated last year
- Use Python from Racket☆28Updated 3 months ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- A DSL for runtime code generation in racket☆66Updated 2 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆59Updated 3 years ago
- An experimental Racket implementation using LLVM/MLIR☆59Updated last year
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆35Updated 2 years ago
- Course web page for Fall 2021.☆20Updated 2 years ago
- The Kraken Programming Language☆46Updated 9 months ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- A diagram drawing library for Racket☆18Updated 3 years ago
- ☆21Updated 4 years ago
- Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.☆42Updated last year
- Lang Party 2022☆24Updated 2 years ago
- purple: compiling a reflective language☆29Updated 3 weeks ago
- SPSC: A Small Positive Supercompiler☆32Updated 5 months ago
- Untyped Concatenative Calculus☆19Updated 2 years ago
- An abstract machine for analyzing Racket bytecode.☆28Updated 3 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Updated 11 years ago
- Racket to WebAssembly Compiler☆27Updated 2 years ago