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
• adamschoenemann / dmuac
  Discrete Mathematics Using a Computer exercises/notes
  ☆21Updated 9 years ago
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 10 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 8 years ago
• bakerjd99 / jacks
  Consolidated J language code referenced in my blog Analyze the Data not the Drivel
  ☆38Updated last month
• emmanueldenloye / manifoldRNC
  ☆10Updated 9 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 5 months ago
• Foundations-of-Applied-Mathematics / Advanced-Programming
  Advanced-Programming
  ☆25Updated last year
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆38Updated 4 months ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆68Updated 7 months ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated last month
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated 2 months ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆32Updated this week
• mlochbaum / JtoLaTeX
  Write LaTeX-formatted documents using J evaluation
  ☆18Updated 9 years ago
• msullivan / LazyK
  Updated LazyK source distribution
  ☆18Updated last month
• Alex-Linhares / Knuths-O-Calculus
  Maybe the open-source community can write Donald Knuth's O Calculus book?
  ☆11Updated 7 years ago
• dpiponi / Operators
  Some operator abuse
  ☆29Updated 8 years ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• triska / presprover
  Prove formulas of Presburger Arithmetic
  ☆11Updated last year
• Anniepoo / strangeloop
  Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'
  ☆19Updated 5 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆54Updated last year
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• jayfoad / aoc2020apl
  Advent of Code 2020 solutions in Dyalog APL
  ☆23Updated 4 years ago
• helvm / helma
  🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
  ☆15Updated last year
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated last week
• epogrebnyak / haskell-intro
  Seven classes on Haskell and a follow-up reading list
  ☆56Updated 10 months ago
• iczelia / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆12Updated 4 years ago
• jeanqasaur / cmu-15316-spring17
  Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.
  ☆22Updated 8 years ago