bolducp / SICPLinks
my solutions for the exercises in the Structure and Interpretation of Computer Programs text (SICP)
☆14Updated 7 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☆13Updated 8 years ago
- Programming Language Explorations☆94Updated last week
- Advanced-Programming☆25Updated last year
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated last year
- Applied Discrete Structures using PreTeXt☆44Updated 2 weeks ago
- Source code for some notes for the mathematical tripos.☆22Updated 6 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- Scheme code snippets from the book "The Little Schemer", 4th edition☆18Updated 13 years ago
- Examples of literate programming by Knuth☆37Updated last year
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 6 months ago
- P.D. Magnus' forallx logic textbook☆67Updated 2 months ago
- Deposited packages of the homalg project☆15Updated last month
- Digitized code from MIT's 1986 SICP video lectures.☆80Updated 6 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆14Updated last year
- ☆42Updated 4 years ago
- GUI for tlmgr written in Scala☆27Updated 3 years ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 7 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- Code written while working through the book LISP in Small Pieces☆28Updated 11 years ago
- Dyalog APL Extended☆28Updated last year
- ☆24Updated 8 years ago
- Readings on computational logic, interactive theorem proving and functional programming.☆78Updated this week
- Solutions to the exercises in "How to Design Programs, Second Edition" by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shrira…☆13Updated 7 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆25Updated 2 months ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- An Introduction to Various Math Topics☆9Updated 10 years ago
- Consolidated J language code referenced in my blog Analyze the Data not the Drivel☆40Updated this week
- Tim Button's open textbook on set theory☆38Updated this week