sicp.epub in compressed and exploded view.
☆38Mar 13, 2016Updated 9 years ago
Alternatives and similar repositories for sicp-epub
Users that are interested in sicp-epub are comparing it to the libraries listed below
Sorting:
- http://www.cis.upenn.edu/~bcpierce/sf☆14Nov 10, 2019Updated 6 years ago
- This is the bot for summer training in #dgplug☆21Jul 18, 2022Updated 3 years ago
- Funded under ONC’s 2018 Leading Edge Acceleration Projects in Health IT program, MedstarHealth Research Institute developed the Mobilizin…☆13Jun 8, 2021Updated 4 years ago
- A Slackbot-like bot for telegram (WIP)☆11Nov 22, 2022Updated 3 years ago
- My Leetcode Solutions☆13Sep 2, 2025Updated 6 months ago
- SMART on FHIR vue implementation of the clear blue button health record reference☆10Jan 14, 2021Updated 5 years ago
- Simple simulations of mechanical logic gate concepts☆11Mar 2, 2019Updated 7 years ago
- ☆10Apr 9, 2015Updated 10 years ago
- This is the active development repository for DIAGRAM accessible Inter actives. Once a project gets fleshed out and is stable a copy of …☆10Sep 17, 2018Updated 7 years ago
- Author: whatifif: Project template for mithril, with JWT auth, themed bootstrap & easy animations. Blog and User administration are inclu…☆12Feb 12, 2016Updated 10 years ago
- A Windows port of hdni's flat theme for GNOME 3.10☆14Apr 5, 2014Updated 11 years ago
- JavaScript Embedded Web Server☆19Sep 10, 2012Updated 13 years ago
- Instant OpenHIE - see docs here:☆18Oct 31, 2023Updated 2 years ago
- A simple userbot for telegram written in Python☆10May 20, 2023Updated 2 years ago
- Functional Accessibility Evaluator 2.x☆38May 22, 2023Updated 2 years ago
- An autoscaling python script for Heroku☆27May 16, 2012Updated 13 years ago
- It has PDF of questions of leetcode according to company wise.☆20May 6, 2020Updated 5 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- 🗣 A command line tool that can generate English verbal descriptions for Scala source files or snippets.☆11Mar 5, 2018Updated 8 years ago
- Astro blog template + Pagefind☆12Jan 21, 2023Updated 3 years ago
- Automates the creation of full-text (sound and text) ebooks in epub/epub3/daisy format, the webserver/client creates smil files to sync a…☆10Nov 12, 2021Updated 4 years ago
- Experimental safe rebasing for your favorite version control system, based on merges☆10Jul 31, 2015Updated 10 years ago
- Provides extended link properties: size of linked file, last modified time, etc., extension for Firefox, SeaMonkey and Thunderbird☆10Jul 22, 2025Updated 7 months ago
- An implementation of Penticons in go programming language☆10Sep 28, 2018Updated 7 years ago
- The W. W. Norton & Company design system☆13Feb 27, 2026Updated last week
- Git Archive Daemon (mirror of https://gitorious.org/gitorious/git-archive-daemon)☆13Nov 18, 2014Updated 11 years ago
- run multiple shell commands in parallel and coordinate their output☆31Jul 5, 2012Updated 13 years ago
- An ASCII-art based data flow management system☆18Dec 11, 2017Updated 8 years ago
- Framework for distributed system's verification, with fault injection.☆10Jan 6, 2026Updated 2 months ago
- bash.tricks, a poster showing a fine selection of bash commands & parameters. Print it in A1 size and put it on your wall. For geeks, hac…☆12Apr 7, 2021Updated 4 years ago
- A wireshark dissector for the Minecraft protocol☆11Feb 16, 2011Updated 15 years ago
- ☆13Oct 1, 2024Updated last year
- 9P file server for Upspin☆11Feb 20, 2023Updated 3 years ago
- LGL to DOT converter☆11May 8, 2015Updated 10 years ago
- OpenLayers 3 PhoneGap Demo☆22Jun 24, 2013Updated 12 years ago
- Interoperability Test for Braid Protocol☆12Dec 10, 2022Updated 3 years ago
- Side effects management library for storeon☆14Dec 30, 2020Updated 5 years ago
- Connector to allow discovery of servers (CLI version)☆11Oct 1, 2020Updated 5 years ago
- A clock screensaver in terminal☆10Dec 20, 2014Updated 11 years ago