My study guide for SICP
☆138May 4, 2020Updated 5 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:
- Structure and Interpretation of Computer Programs study notes with exercise solutions☆402Feb 11, 2022Updated 4 years ago
- ☆15May 1, 2021Updated 4 years ago
- SICP in Guile & Emacs Lisp☆713May 7, 2022Updated 3 years ago
- ☆15Dec 31, 2022Updated 3 years ago
- A beginner-friendly repository designed to teach the fundamentals of Bitcoin. The project includes theoretical and practical implementati…☆11Dec 12, 2024Updated last year
- 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.
- ☆11Apr 8, 2025Updated 11 months ago
- OCaml bindings for OpenAI API☆19Feb 9, 2024Updated 2 years ago
- 4th Year MSci Dissertation☆11Oct 3, 2022Updated 3 years ago
- MipScope is a cross-platform IDE for students learning assembly on the MIPS architecture. The focus is on a convenient debugging environm…☆17May 11, 2024Updated last year
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- A visualiser for lambda terms as rooted maps.☆13Dec 17, 2021Updated 4 years ago
- Tutorial for assignment of Introduction to Database System☆11Sep 29, 2025Updated 5 months ago
- Code and slides for Codemania 'Monads to the Rescue' presentation☆21May 12, 2014Updated 11 years ago
- ☆10Jun 17, 2021Updated 4 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.
- ☆10Oct 30, 2022Updated 3 years ago
- The most minimal wasm llvm project☆17Feb 27, 2019Updated 7 years ago
- Python framework code for cs173/fall 2012☆17Dec 4, 2012Updated 13 years ago
- ☆15Aug 13, 2021Updated 4 years ago
- A warm dark theme for Pharo Smalltalk☆14Feb 6, 2024Updated 2 years ago
- ☆13Mar 4, 2024Updated 2 years ago
- AsCii Movie (asciimation) https://ascii.moe☆16May 31, 2021Updated 4 years ago
- Collection of dotfiles for my NixOS machine☆14Jul 29, 2019Updated 6 years ago
- A C & x86 version of the "Let's Build a Compiler" by Jack Crenshaw☆10Nov 30, 2018Updated 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.
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Software and documentation, mostly from the 80s and 90s☆23Mar 24, 2015Updated 11 years ago
- Using logic programming (Clojure's core.logic) for test data manipulation and generation☆59Nov 23, 2012Updated 13 years ago
- A list of books about mathematical subjects, using array languages like APL and J for their presentation.☆15Jan 19, 2026Updated 2 months ago
- A Modern CompSci Curriculum☆300Jan 21, 2026Updated 2 months ago
- A port of the gloss library from Haskell to Idris☆23Jul 9, 2018Updated 7 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- Berkeley cs61a Spring 2011 Computer Science Course☆124Apr 4, 2019Updated 6 years ago
- A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)☆126Mar 23, 2013Updated 13 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.
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- Minimal Lisp/Forth☆11Jan 5, 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 2 years ago
- ☆21May 30, 2025Updated 9 months ago
- Minimalist compiler course, based on Essential of Compilation☆11Mar 2, 2026Updated 3 weeks ago
- Clojure Microservice Boilerplate: Components, Reitit, Pedestal, Malli, Postgresql and Tests☆15Jul 28, 2025Updated 7 months ago
- A SystemVerilog implementation of MIPS32 CPU and RIP router☆22Jan 12, 2020Updated 6 years ago