☆39Feb 21, 2026Updated 3 weeks ago
Alternatives and similar repositories for eopl
Users that are interested in eopl are comparing it to the libraries listed below
Sorting:
- ☆10Jan 24, 2016Updated 10 years ago
- Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand☆1,211Mar 13, 2023Updated 3 years ago
- ☆19Feb 21, 2026Updated 3 weeks ago
- ☆15Feb 21, 2026Updated 3 weeks ago
- ☆11Feb 21, 2026Updated 3 weeks ago
- Workshop on Program Transformations☆26Aug 12, 2023Updated 2 years ago
- ☆16May 7, 2020Updated 5 years ago
- A simple unit testing framework for Scheme that is slightly more featureful then my previous attempts to handroll a testing framework.☆10Feb 14, 2023Updated 3 years ago
- ☆13Feb 21, 2026Updated 3 weeks ago
- (Somewhat) Algebraic Data Types for Racket☆34Jan 15, 2023Updated 3 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- my solutions to EOPL3☆367Nov 6, 2018Updated 7 years ago
- A Scheme TCP/IP Stack Targeting Small Embedded Applications☆25Nov 11, 2013Updated 12 years ago
- 2d syntax☆20Feb 21, 2026Updated 3 weeks ago
- A Scheme to x86-64 compiler in Scheme☆81May 4, 2015Updated 10 years ago
- An abstract machine for analyzing Racket bytecode.☆29May 1, 2021Updated 4 years ago
- ☆37Feb 21, 2026Updated 3 weeks ago
- ☆96Feb 21, 2026Updated 3 weeks ago
- 2D tile exploring game☆12Mar 1, 2015Updated 11 years ago
- A "functionally oriented" Racket dialect.☆44May 18, 2022Updated 3 years ago
- SRFI libraries for Chez Scheme☆10Mar 21, 2010Updated 15 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Dec 31, 2012Updated 13 years ago
- 😛 Review of Structure and Interpretation of Computer Programs☆26Jul 20, 2024Updated last year
- Pure Scheme Gopher Server☆11Jan 21, 2012Updated 14 years ago
- My solutions to exercises from the book Essentials of Programming Languages.☆40Apr 20, 2025Updated 11 months ago
- An implementation of R7RS in Racket☆102Oct 13, 2024Updated last year
- Course web page for Fall 2021.☆22Dec 26, 2021Updated 4 years ago
- Library for Classical Coq☆41Jan 20, 2026Updated last month
- MessagePack for R6RS Scheme / msgpack.org[Scheme]☆12Oct 17, 2013Updated 12 years ago
- ☆51Dec 14, 2022Updated 3 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- JPEG parsing, transformation, and codec library for Racket☆18Sep 18, 2016Updated 9 years ago
- A collection of PLT researching☆29Feb 21, 2025Updated last year
- Package for simplifying HTTP requests and writing integration tests of REST-ful APIs in Racket☆23Aug 2, 2022Updated 3 years ago
- Emacs minor mode for drawing multi-character tokens as Unicode glyphs (lambda -> λ). A configurable replacement for pretty-mode and the l…☆42Sep 30, 2014Updated 11 years ago
- Computer Algebra and Symbolic Computation for R6RS Scheme☆65Jan 31, 2023Updated 3 years ago
- stex: stex to latex and latex to html converters and associated tools☆93Dec 1, 2023Updated 2 years ago
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- ☆436Feb 8, 2024Updated 2 years ago