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 9 years ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- Advent of Code 2020 solutions in Dyalog APL☆23Updated 4 years ago
- Astview is a graphical viewer for abstract syntax trees☆25Updated 3 years ago
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- Classical Logic in Haskell☆24Updated 6 months ago
- Discrete Mathematics Using a Computer exercises/notes☆21Updated 9 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 5 months ago
- A computational way to study discrete mathematics using Haskell☆73Updated 6 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆15Updated last year
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 7 years ago
- Brent's PhD thesis.☆69Updated 9 years ago
- Javascript implementation of Fractran☆14Updated 8 years ago
- Awesome Agda Programming☆18Updated 3 weeks ago
- Monads for Racket (!)☆21Updated 10 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Updated 4 years ago
- A Dependently Typed Esolang☆10Updated 8 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆66Updated last month
- Andrej Bauer's blog "Mathematics and Computation"☆53Updated last year
- Alice ML implementation☆17Updated 2 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- A tiny scheme interpreter in Haskell☆24Updated 6 years ago
- Home page for the Simple Haskell Initiative☆15Updated 3 years ago
- Lambda Calculus with quote and unquote☆19Updated 5 years ago
- A book on programming languages, using Haskell☆166Updated 4 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated last week
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- A Jupyter kernel for Dyalog APL☆75Updated this week
- Run Dyalog APL under Docker☆11Updated last year