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
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago
- Deposited packages of the homalg project☆16Updated last week
- ☆10Updated 9 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆11Updated 4 years ago
- Updated LazyK source distribution☆18Updated 6 years ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆14Updated last year
- Explorations in relations and the algebra of programming☆17Updated 5 years ago
- Monads for Racket (!)☆21Updated 10 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 7 years ago
- A 65C02 Assembly eDSL in Haskell☆17Updated 7 years ago
- SKI combinators☆55Updated 8 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 3 months ago
- A Jupyter kernel for Dyalog APL☆74Updated last month
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'☆19Updated 5 years ago
- Javascript implementation of Fractran☆14Updated 7 years ago
- A Dependently Typed Esolang☆10Updated 8 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆73Updated 5 years ago
- Pure relational SKI combinator calculus interpreter.☆11Updated 8 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 8 years ago
- Advent of Code 2020 solutions in Dyalog APL☆23Updated 4 years ago
- 👨🏻🎓 Playground for learning programming languages☆25Updated 5 months ago
- Awesome Agda Programming☆18Updated 5 years ago
- Martin-Löf Extensible Specification and Simulator☆29Updated 10 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 10 months ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 8 years ago
- Reason about Term Rewriting Systems☆16Updated 3 years ago