My study guide for SICP
☆142May 4, 2020Updated 6 years ago
Alternatives and similar repositories for sicp-abrantes-study-guide
Users that are interested in sicp-abrantes-study-guide are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Apr 2, 2024Updated 2 years ago
- Structure and Interpretation of Computer Programs study notes with exercise solutions☆406Feb 11, 2022Updated 4 years ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Aug 17, 2013Updated 13 years ago
- ☆20May 9, 2022Updated 4 years ago
- DOS Assembler for the 8086 Microprocessor☆23Jan 11, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- SICP in Guile & Emacs Lisp☆717May 7, 2022Updated 4 years ago
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 5 years ago
- 4th Year MSci Dissertation☆11Oct 3, 2022Updated 3 years ago
- Small lisp interpreter in Python☆10Apr 23, 2022Updated 4 years ago
- Pier3 is a CMS - http://www.piercms.com/☆11Sep 4, 2026Updated 3 weeks ago
- "Reversi" game for Flipper Zero☆14Mar 13, 2023Updated 3 years ago
- Geiser support for Scsh☆15Jun 22, 2017Updated 9 years ago
- LiveWeb: web app framework for Smalltalk☆13Feb 1, 2024Updated 2 years ago
- ☆10Jun 17, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Oct 30, 2022Updated 3 years ago
- ☆15Aug 13, 2021Updated 5 years ago
- A warm dark theme for Pharo Smalltalk☆14Feb 6, 2024Updated 2 years ago
- Database drivers for the Pharo language☆11Jan 7, 2020Updated 6 years ago
- ☆13Mar 4, 2024Updated 2 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆23Mar 29, 2023Updated 3 years ago
- A port of the gloss library from Haskell to Idris☆23Jul 9, 2018Updated 8 years ago
- My dotfiles☆15May 7, 2026Updated 4 months ago
- The Programmers Open Workbench☆13Dec 19, 2011Updated 14 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Nix language for Javascript developers☆18Aug 15, 2023Updated 3 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- Advent of Code for 2021☆14Dec 3, 2021Updated 4 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Agda to C compiler☆11Sep 23, 2025Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- GNU Guix package definitions for proprietary software, or software with unclear licenses.☆12Feb 20, 2025Updated last year
- Minimal Lisp/Forth☆11Jan 5, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Source code & exercises in Arend's documentation☆22Jul 24, 2026Updated 2 months ago
- A compiler for a relational programming language for the BEAM, written in OCaml☆25Updated this week
- Clojure Microservice Boilerplate: Components, Reitit, Pedestal, Malli, Postgresql and Tests☆15Jul 28, 2025Updated last year
- A repo for my nixos configuration files☆21Sep 14, 2026Updated last week
- A blog about Retro Computers, Programming and General Technical Tinkering☆18Nov 15, 2023Updated 2 years ago
- A self-hosted Pascal compiler☆17Apr 1, 2024Updated 2 years ago
- Up-to-date live images for trying out GNU Guix!☆22Aug 15, 2025Updated last year