mwand / eopl3
Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
☆1,187Updated last year
Alternatives and similar repositories for eopl3:
Users that are interested in eopl3 are comparing it to the libraries listed below
- my solutions to EOPL3☆365Updated 6 years ago
- All the Scheme code examples from the book "The Little Schemer"☆675Updated 8 years ago
- A compiler from Scheme into X64☆188Updated 10 years ago
- A semantic indexer for Ruby with interprocedual type inference☆190Updated 2 years ago
- an incremental approach to compiler construction☆925Updated 5 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆133Updated 10 years ago
- Some educational code written 10+ years ago at IU☆28Updated 2 years ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆494Updated 2 years ago
- Really mini operating system (extracted from xen-unstable, and much stuff removed)☆191Updated 12 years ago
- My racket study documentation☆316Updated 5 years ago
- a compiler from a subset of Scheme into X64☆240Updated 5 years ago
- A SICP language for Racket.☆196Updated 8 months ago
- The new nanopass framework; an embedded DSL for writing compilers in Scheme☆321Updated 3 years ago
- A structural comparison tool for Lisp family languages, with experimental C++, JS support☆187Updated 10 years ago
- Mirror of Software Foundations in PDF☆300Updated 4 years ago
- ☆425Updated last year
- Chez Scheme☆7,042Updated this week
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,367Updated 4 years ago
- ☆148Updated 8 years ago
- DrRacket, IDE for Racket☆460Updated this week
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆709Updated 3 years ago
- 我的 SICP 解题集☆884Updated 2 years ago
- Programming Languages: Application and Interpretation☆243Updated last year
- Typed Racket☆533Updated this week
- A quick and very dirty Scheme interpereter.☆380Updated 6 years ago
- SICP PDF with Texinfo and LaTeX source☆4,316Updated 7 months ago
- A language for GPU computing.☆1,183Updated 9 years ago
- Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prio…☆3,148Updated last year
- A book about compiling Racket and Python to x86-64 assembly☆1,363Updated 2 months ago
- Public helper code for p423/p523 students (Racket)☆161Updated 2 months ago