willprice / little-schemer
Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen
☆13Updated 8 years ago
Alternatives and similar repositories for little-schemer:
Users that are interested in little-schemer are comparing it to the libraries listed below
- Useful things for Standard ML☆62Updated 3 months ago
- A DrRacket plugin to make it experience like an IDE☆48Updated 4 months ago
- Simplified example cryptocurrency implementation in Racket☆47Updated 4 years ago
- ☆77Updated 5 years ago
- Collection of syntax/parse macros☆29Updated 2 years ago
- The Agda Universal Algebra Library (html docs available at the url below)☆30Updated last month
- Lang Party 2022☆24Updated 2 years ago
- ☆40Updated 3 years ago
- A tutorial on how Agda infers things☆39Updated 4 years ago
- A notional machine for the SMoL languages☆21Updated last year
- ☆33Updated 2 months ago
- Specification of the Cedille Core language☆29Updated 4 years ago
- ☆78Updated 4 months ago
- ☆40Updated 9 months ago
- Meta-Interpreters in miniKanren☆31Updated last year
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- Prototypes: Object Orientation, Functionally☆42Updated 4 months ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆39Updated last week
- Fast, CommonMark-compliant Markdown parser written in Racket☆32Updated 3 months ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated 10 months ago
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated 11 months ago
- CMSC 430 Design and Implementation of Programming Languages☆48Updated last month
- Access Chez Scheme documentation from the REPL☆27Updated 2 months ago
- ☆22Updated 2 years ago
- A high-level HTTP client for Racket.☆45Updated 3 weeks ago
- A Racket refactoring engine☆61Updated this week
- Simple, filesystem-based caching for Racket☆17Updated 2 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated 11 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆56Updated 7 months ago
- Minimalist compiler course, based on Essential of Compilation☆10Updated 5 months ago