Alternatives and similar repositories for sicp

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

• lixiangqi / medic

  View on GitHub
  Medic Package
  ☆10Nov 8, 2015Updated 10 years ago
• the-little-prover / the-little-prover.github.io

  View on GitHub
  ☆11May 18, 2016Updated 9 years ago
• acfoltzer / Molog

  View on GitHub
  A typed logic programming language embedded in Haskell
  ☆50Mar 3, 2013Updated 12 years ago
• favonia / homotopy

  View on GitHub
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆27Aug 14, 2014Updated 11 years ago
• michaelballantyne / meta-minikanren

  View on GitHub
  A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
  ☆24May 1, 2016Updated 9 years ago
• HaxeFoundation / ocamllibs

  View on GitHub
  Various OCaml Libraries
  ☆24Jun 18, 2019Updated 6 years ago
• hoytech / antiweb

  View on GitHub
  Common Lisp web application server
  ☆88Nov 1, 2012Updated 13 years ago
• chris-taylor / SICP-in-Haskell

  View on GitHub
  ☆49Jan 6, 2013Updated 13 years ago
• abresas / prologjs

  View on GitHub
  Prolog interpreter for node.js
  ☆49Jan 14, 2013Updated 13 years ago
• archimag / cl-closure-template

  View on GitHub
  Common Lisp implementation of Google's Closure Templates.
  ☆71Jul 26, 2015Updated 10 years ago
• wouter-swierstra / xmonad

  View on GitHub
  xmonad in Coq
  ☆46Jul 9, 2012Updated 13 years ago
• evanrmurphy / PicoLisp

  View on GitHub
  ☆31Jan 13, 2011Updated 15 years ago
• ustwo / recipe-book

  View on GitHub
  ustwobies love food, so they Open Source their recipes, as any sane geek would do.
  ☆15Jan 11, 2014Updated 12 years ago
• efekanegeli / doq

  View on GitHub
  A script that converts your Quick tests to readable documentation.
  ☆10Apr 23, 2019Updated 6 years ago
• Ngier / NGMaskedTextField

  View on GitHub
  A subclass of UITextField for masking input
  ☆10Jan 12, 2018Updated 8 years ago
• nickg / swank-chicken

  View on GitHub
  SWANK server for Chicken Scheme
  ☆51Jun 27, 2024Updated last year
• chiefartificer / chip8

  View on GitHub
  CHIP-8 Emulator written with Python3 and PyGame
  ☆11Jan 6, 2020Updated 6 years ago
• mishoo / cl-uglify-js

  View on GitHub
  JavaScript compressor/beautifier library for Common Lisp
  ☆69Jun 20, 2015Updated 10 years ago
• donaldsonjw / bigloo

  View on GitHub
  Bigloo Scheme Compiler
  ☆11Dec 28, 2015Updated 10 years ago
• lqez / keycastr

  View on GitHub
  KeyCastr, an open-source keystroke visualizer
  ☆32Aug 29, 2014Updated 11 years ago
• StephenWakely / froute

  View on GitHub
  Routing library taking advantage of the MOP
  ☆13Jul 1, 2018Updated 7 years ago
• Sulunia / love2d-fftvis

  View on GitHub
  FFTVis a simple music player with a bar visualization. Full commented source code.
  ☆11Feb 28, 2016Updated 9 years ago
• gaissmai / cidrtree

  View on GitHub
  fast IP to CIDR lookup, longest prefix match in golang
  ☆11Feb 3, 2024Updated 2 years ago
• audreyt / pugs

  View on GitHub
  A Perl 6 Implementation
  ☆21Mar 5, 2012Updated 13 years ago
• racket / racket-pkg-website

  View on GitHub
  A frontend for the Racket Package Catalog.
  ☆13Feb 7, 2026Updated last week
• smarr / CSOM

  View on GitHub
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆10Jul 16, 2021Updated 4 years ago
• Frege / frege-interpreter

  View on GitHub
  Frege Interpreter
  ☆15Jun 13, 2020Updated 5 years ago
• ocaml / dbm

  View on GitHub
  The legacy CamlDBM library for accessing NDBM/GDBM database files
  ☆12Jul 11, 2024Updated last year
• srhb / reflex-servant-scaffold

  View on GitHub
  Small example of a Nix-built servant-server with a reflex-dom client.
  ☆12Feb 5, 2018Updated 8 years ago
• intere / UITestKit

  View on GitHub
  Programmatic UI Tests (not using the Apple UI Test Framework). XCTest-based tests.
  ☆12May 31, 2022Updated 3 years ago
• feedhenry / fh-fhc

  View on GitHub
  FeedHenry CLI, the Command Line Interface to FeedHenry
  ☆26Nov 20, 2018Updated 7 years ago
• gfour / gic

  View on GitHub
  The generalized intensional compiler for a Haskell-like language.
  ☆14Nov 27, 2017Updated 8 years ago
• LilliJane / NetworkLib

  View on GitHub
  Useful library in C to send or receive data using ringbuffers and poll
  ☆10Oct 29, 2019Updated 6 years ago
• leuschel / ecce

  View on GitHub
  Online partial evaluator for pure Prolog programs (with built-ins)
  ☆12Jan 12, 2026Updated last month
• GaloisInc / ardupilot-mega

  View on GitHub
  Fork: DO NOT SUBMIT PULL REQS/BUG REPORTS HERE
  ☆14Jan 9, 2013Updated 13 years ago
• longlene / clx

  View on GitHub
  clx overlay
  ☆11Updated this week
• ralt / restful

  View on GitHub
  REST APIs made easy
  ☆11May 25, 2015Updated 10 years ago
• LukaHorvat / HaskellPackage

  View on GitHub
  Haskell integration for Visual Studio
  ☆22Aug 10, 2014Updated 11 years ago
• FrankSalad / ipython-csvmagic

  View on GitHub
  Tools for working with CSV files in IPython.
  ☆10Feb 17, 2016Updated 9 years ago