Alternatives and similar repositories for SICP

Users that are interested in SICP are comparing it to the libraries listed below

• willprice / little-schemer
  Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen
  ☆13Updated 9 years ago
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 10 years ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆17Updated 7 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 4 months ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• steshaw / playground
  👨🏻‍🎓 Playground for learning programming languages
  ☆25Updated 5 months ago
• iczelia / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆12Updated 4 years ago
• tonyg / racket-monad
  Monads for Racket (!)
  ☆21Updated 10 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated this week
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated this week
• Dyalog / DyalogDocker
  Run Dyalog APL under Docker
  ☆11Updated last year
• LightAndLight / meta-lambda
  Lambda Calculus with quote and unquote
  ☆19Updated 5 years ago
• Anniepoo / strangeloop
  Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'
  ☆19Updated 5 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 3 weeks ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆24Updated 6 months ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 8 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• msullivan / LazyK
  Updated LazyK source distribution
  ☆18Updated this week
• Dyalog / dyalog-jupyter-kernel
  A Jupyter kernel for Dyalog APL
  ☆75Updated last month
• pascalh / Astview
  Astview is a graphical viewer for abstract syntax trees
  ☆25Updated 3 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 5 years ago
• hanleyc01 / rkttt
  ☆12Updated 2 years ago
• stefan-hoeck / idris2-webidl
  Parsers and (eventually) Idris code generator for WebIDL documents
  ☆15Updated 7 months ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆38Updated 3 months ago
• jsiek / B629-denotational
  Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
  ☆73Updated 7 years ago