Digitized code from MIT's 1986 SICP video lectures.
☆196Apr 25, 2019Updated 6 years ago
Alternatives and similar repositories for sicp-code
Users that are interested in sicp-code are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An implementation of the Xerox IFS protocol suite☆12Oct 3, 2023Updated 2 years ago
- a very simple C project starter for all my tiny projects.☆18Mar 22, 2025Updated last year
- A self-hosted Pascal compiler☆17Apr 1, 2024Updated 2 years ago
- ☆13Mar 2, 2015Updated 11 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Codes related to Idris☆16Sep 4, 2015Updated 10 years ago
- The fun programming language☆17Oct 30, 2024Updated last year
- Schema-aware JSON compression with millisecond lookups — cut transfer/storage while enabling exists /pos queries. (Demo + wheels; core is…☆24Feb 21, 2026Updated last month
- Get/show dad jokes in Emacs☆10Sep 28, 2017Updated 8 years ago
- Experimental C++11 backend for Idris☆15Nov 29, 2014Updated 11 years ago
- KLIC: Portable implementation of KL1. Forked from "https://www.ueda.info.waseda.ac.jp/software-j.html"☆15Oct 27, 2023Updated 2 years ago
- Common Lisp packrat parser☆16Aug 26, 2018Updated 7 years ago
- A tutorial on how to build your own headphones with ambient microphones for loud environments.☆14Jul 7, 2025Updated 9 months ago
- Idris was an operating system developed by Whitesmiths☆33Nov 20, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Interface for Surf under exwm☆11May 26, 2018Updated 7 years ago
- Forth interpreter in F#☆17Oct 26, 2023Updated 2 years ago
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated last year
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago
- sImlac is an attempt to emulate/simulate the oft neglected Imlac PDS-1 computer/terminal.☆12May 12, 2020Updated 5 years ago
- My personal emacs config☆15Updated this week
- A minimalist revision of the miniKanren language with no additional features☆53May 11, 2022Updated 3 years ago
- A highly customizable polar clock written in HTML5☆14Jul 17, 2018Updated 7 years ago
- Mirror of Chuck Moore’s Forth book☆12Apr 4, 2015Updated 11 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆13Apr 19, 2025Updated 11 months ago
- the Meta-II VM in C☆21Aug 16, 2015Updated 10 years ago
- A simple presentation tool for Emacs☆14Jan 10, 2017Updated 9 years ago
- Emulator for the MIX computer that never existed.☆24Mar 8, 2026Updated last month
- A portable list of mutuals for the decentralized web☆11Jul 8, 2021Updated 4 years ago
- SLAYER ported to Racket☆21Jun 15, 2019Updated 6 years ago
- Source code and logic to build Luau for Rust☆11Mar 28, 2026Updated 2 weeks ago
- A C & x86 version of the "Let's Build a Compiler" by Jack Crenshaw☆10Nov 30, 2018Updated 7 years ago
- Datastar Common Lisp SDK☆59Mar 1, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- The Programmers Open Workbench☆13Dec 19, 2011Updated 14 years ago
- A standard for straightforward integration and compilation of C projects.☆24Jan 11, 2023Updated 3 years ago
- Minimal Forth Workbench provides an educational subset of Standard Forth, feel free to experiment.☆24Mar 27, 2024Updated 2 years ago
- Formally verified JSON parser☆15Sep 27, 2017Updated 8 years ago
- A tiny, minimalist, slightly-esoteric, concatenative programming language☆15Mar 4, 2026Updated last month
- Rewriting Principia Mathematica in Lean☆137Feb 5, 2026Updated 2 months ago
- The Sheet Music Generator☆13Aug 22, 2016Updated 9 years ago