mbillingr / lisp-in-small-pieces
Working through the Book Lisp In Small Pieces
☆12Updated 2 years ago
Alternatives and similar repositories for lisp-in-small-pieces:
Users that are interested in lisp-in-small-pieces are comparing it to the libraries listed below
- software archaeology of reflective towers of interpreters☆15Updated 5 months ago
- Untyped Concatenative Calculus☆19Updated 3 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 7 years ago
- My Own Linear Lisp☆39Updated 6 years ago
- Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.☆42Updated last year
- Interactive Scheme Primer, written in Scheme.☆21Updated 5 months ago
- ☆13Updated last year
- Collapsing Towers of Interpreters (in Scheme)☆56Updated 6 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆30Updated last week
- purple: compiling a reflective language☆32Updated 4 months ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- An embeddable flow-oriented language.☆69Updated this week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆36Updated 3 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆24Updated last year
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago
- Miscellaneous Racket utilities lacking a better home☆12Updated 4 months ago
- A compiler to IA32 and REPL for maru in maru under 7k s-expressions☆16Updated 4 years ago
- ☆85Updated 4 years ago
- ☆19Updated last year
- A property-based testing library for Racket.☆31Updated 10 months ago
- Kanren with databases☆43Updated 7 months ago
- a minimal implementation of incremental computation in Scheme☆34Updated 7 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- A DSL for runtime code generation in racket☆67Updated 2 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago
- MLpolyR☆7Updated 8 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Data Structure Optimization for Functional Programs☆33Updated 6 years ago