rubenbarroso / EOPL
My solutions to the exercises in the book Essentials of Programming Languages, 2nd Edition.
☆28Updated 13 years ago
Related projects ⓘ
Alternatives and complementary repositories for EOPL
- Typed Racket data structure libraries☆58Updated 3 years ago
- Relational interpreter in miniKanren that can generate quines☆130Updated 9 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 11 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆13Updated 11 years ago
- All code examples from "The Little Prover" book☆23Updated 8 years ago
- General Parser Combinators in Racket☆195Updated 8 years ago
- ☆40Updated 3 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- Constraint programming language embedded in Racket☆152Updated 3 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Nanopass scheme compiler in scheme for x86☆68Updated 7 years ago
- Generic graph library and algorithms for Racket.☆58Updated 11 months ago
- miniKanren for interactive tutorials on the web☆32Updated 7 years ago
- ☆57Updated 7 years ago
- ☆60Updated 2 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 6 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- ☆37Updated last week
- a code coverage tool for racket☆38Updated 5 months ago
- Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig☆29Updated 5 years ago
- Some useful shortcuts for DrRacket☆82Updated 4 years ago
- nanopass compiler framework for Racket☆180Updated 9 months ago
- Exercism exercises in Racket.☆42Updated this week
- staged relational interpreters: running with holes, faster☆125Updated this week
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆154Updated 3 months ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆51Updated 14 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 9 years ago
- All the ML code examples from the book "The Little MLer"☆86Updated 14 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- A port of sweet expressions to Racket☆47Updated last year