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 8 years ago
• jayfoad / aoc2020apl
  Advent of Code 2020 solutions in Dyalog APL
  ☆23Updated 4 years ago
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 10 years ago
• codereport / CTfP-2021
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
  ☆135Updated 2 years ago
• iczelia / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆11Updated 4 years ago
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 4 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated 2 months ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆16Updated 7 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 7 months ago
• Anniepoo / strangeloop
  Materials for the Strangeloop workshop 'Real World Development Boot Camp In SWI-Prolog'
  ☆19Updated 5 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated 3 months ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 7 months ago
• Foundations-of-Applied-Mathematics / Advanced-Programming
  Advanced-Programming
  ☆25Updated last year
• pitr / aoc
  Advent of Code in APL
  ☆20Updated last month
• helvm / helma
  🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
  ☆14Updated last year
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• codereport / Programming-Language-Meetups
  ☆20Updated 4 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 4 months ago
• steshaw / playground
  👨🏻‍🎓 Playground for learning programming languages
  ☆25Updated 4 months ago
• bugczw / Introduction-to-Functional-Programming-in-OCaml
  ☆8Updated 6 years ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 7 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 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
• Wodan58 / joy0
  Original Joy
  ☆10Updated 7 months ago
• nikivazou / proof-combinators
  Proof combinators used in Liquid Haskell for theorem proving
  ☆12Updated 7 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆56Updated 5 months ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 5 years ago
• codereport / FM2GP-2025
  Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming
  ☆26Updated 4 months ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 8 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago