My solutions to exercises in the 2nd edition of Abelson and Sussman's SICP
☆21May 9, 2013Updated 13 years ago
Alternatives and similar repositories for sicp-solutions
Users that are interested in sicp-solutions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A library for recreational number theory in MIT Scheme.☆10Feb 2, 2013Updated 13 years ago
- Problems and Projects from the legendary MIT 6.001 Purple Book.☆49Mar 15, 2015Updated 11 years ago
- A spreadsheet program for my own amusement.☆14Jun 25, 2020Updated 6 years ago
- routines for manipulating stashes☆11Dec 30, 2015Updated 10 years ago
- Information about all Perl conferences and workshops☆11Jul 13, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Basic method declarations with signatures, without source filters☆13Jun 25, 2020Updated 6 years ago
- Play multimedia files from org-mode☆13Aug 29, 2026Updated 2 months ago
- Study Group Worked Exercises from "The Structure and Interpretation of Computer Programs"☆84Jul 2, 2017Updated 9 years ago
- JAMA : A Java Matrix Package☆12Feb 3, 2017Updated 9 years ago
- jQuery plugin to fit images while keeping the width/height ratio☆15Feb 5, 2013Updated 13 years ago
- Simple ruby script to import tweets into @dayoneapp☆13Jan 17, 2013Updated 13 years ago
- Dictionary protocol client (RFC 2229) for Emacs☆18Jul 28, 2021Updated 5 years ago
- A collection of Scheme libraries☆31Aug 4, 2015Updated 11 years ago
- Scheme macros for non-linear pattern matching with backtracking for non-free data types☆29Aug 29, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Declarative constraint-based structured drawing system in Perl (as per chapter 9 of "Higher-Order Perl")☆18Jan 1, 2014Updated 12 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Nov 30, 2018Updated 7 years ago
- Gain information about applications to inform deployments☆11Mar 3, 2022Updated 4 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 years ago
- ☆13Feb 9, 2022Updated 4 years ago
- collaboration on work in progress☆15Mar 4, 2011Updated 15 years ago
- Small gadgets for use with git (and that do not fit in an alias)☆18Apr 1, 2016Updated 10 years ago
- This file implements extensions for (Emacs) outline(-minor)-mode.☆20Apr 19, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Invoke Python libraries from Guile☆13Sep 5, 2016Updated 10 years ago
- mal - Make a Lisp☆14Jun 12, 2021Updated 5 years ago
- git submodule alternative☆23Sep 17, 2013Updated 13 years ago
- A Hello World program in Coq.☆17May 28, 2022Updated 4 years ago
- CRUD for JSON data with Redis storage☆12Feb 9, 2018Updated 8 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Jan 7, 2023Updated 3 years ago
- Script to manage your deployments with cpanm v1.4 and Dist::Zilla☆20Oct 12, 2026Updated 2 weeks ago
- My ".emacs"☆21Sep 20, 2026Updated last month
- Lucene demo written in Clojure☆14Mar 22, 2011Updated 15 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A formally verified compiler of untyped lambda calculus to brainfuck☆15Aug 2, 2017Updated 9 years ago
- WWDC 2013 - Exploring Scroll Views in iOS7☆14Jul 4, 2013Updated 13 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Sep 13, 2026Updated last month
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Hackworth Ltd's Nix helpers.☆13Updated this week
- A hackage-overlay with patched packages for mobile use.☆17Jan 8, 2019Updated 7 years ago
- Lenient parsing functions for Gleam, modeled after Python's `int()` and `float()` built-ins.☆21Sep 13, 2025Updated last year