bolducp / SICPLinks
my solutions for the exercises in the Structure and Interpretation of Computer Programs text (SICP)
☆14Updated 8 years ago
Alternatives and similar repositories for SICP
Users that are interested in SICP are comparing it to the libraries listed below
Sorting:
- Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen☆12Updated 9 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 months ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Updated 5 years ago
- Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'☆20Updated 5 years ago
- Resources for making sense of topology and its concepts☆18Updated 5 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 8 months ago
- Updated LazyK source distribution☆19Updated 2 months ago
- All the ML code examples from the book "The Little MLer"☆87Updated 15 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- Befunge-93 interpreter written in Python with a debugger☆19Updated 8 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆15Updated last year
- Advent of Code 2020 solutions in Dyalog APL☆23Updated 5 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 11 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Updated 5 years ago
- All code examples from "The Little Prover" book☆23Updated 10 years ago
- APL is the greatest language ever☆68Updated last year
- Pure relational SKI combinator calculus interpreter.☆11Updated 8 years ago
- ☆15Updated 2 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- Classical Logic in Haskell☆24Updated 2 months ago
- Prove formulas of Presburger Arithmetic☆11Updated last year
- A Jupyter kernel for Dyalog APL☆75Updated 3 months ago
- Programs that are used in the Cousineau/Mauny books☆31Updated 4 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- SKI combinators☆56Updated 8 years ago
- [WIP] A book on the k language.☆50Updated 3 years ago
- My Advent of Code solutions☆23Updated last month
- ☆20Updated 4 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆29Updated 10 months ago