HTML5/EPUB3 version of SICP
☆28Jul 2, 2019Updated 6 years ago
Alternatives and similar repositories for sicp
Users that are interested in sicp 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 minimalist revision of the miniKanren language with no additional features☆53May 11, 2022Updated 4 years ago
- 2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 10 years ago
- miniKanren with a constraint-based negation operator☆10May 10, 2014Updated 12 years ago
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆134Jan 15, 2015Updated 11 years ago
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆12Feb 22, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A semantic indexer for Ruby with interprocedual type inference☆199Nov 15, 2022Updated 3 years ago
- Some code in the Rhombus/Shrubbery prototype☆12Dec 9, 2024Updated last year
- A structural comparison tool for Lisp family languages, with experimental C++, JS support☆194Feb 6, 2015Updated 11 years ago
- Category Theory in Programming☆14Jan 22, 2026Updated 4 months ago
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆57May 28, 2020Updated 5 years ago
- Repository for the Racket News Website☆11Feb 14, 2025Updated last year
- Function Programming China home page☆18May 18, 2026Updated last week
- 《A Little Java, A Few Patterns》笔记☆58Feb 4, 2020Updated 6 years ago
- Some useful shortcuts for DrRacket☆80Oct 31, 2020Updated 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.
- bilibili弹幕机核心组件☆11Jul 7, 2025Updated 10 months ago
- This is my Python project named QQTPVE, which adopts the logics and resources of Tencent QQTang. I am a beginner of Python, so my code is…☆15Apr 26, 2022Updated 4 years ago
- Some educational code written 10+ years ago at IU☆28Apr 20, 2022Updated 4 years ago
- PySonar2: a semantic indexer for Python with interprocedual type inference☆1,422Mar 2, 2026Updated 2 months ago
- stex: stex to latex and latex to html converters and associated tools☆93Dec 1, 2023Updated 2 years ago
- Visual Studio Code integration for the Idris 2 language server☆32Nov 2, 2024Updated last year
- 一个能画出域名与其它DNS域的依赖关系的工具 A dependency graph tool that can draw domain names with other DNS domains/zones☆17May 22, 2019Updated 7 years ago
- Concurrent Programming in Erlang (Part I) 中文版☆32Nov 2, 2013Updated 12 years ago
- 《The Little Schemer》笔记☆37Feb 2, 2015Updated 11 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Ruby Interacive Shell☆62Mar 12, 2011Updated 15 years ago
- a lisp(clojure) in Objective-C, run on OS X and iOS☆25Sep 2, 2021Updated 4 years ago
- licenseMonitor is used to check instant EDA license information.☆29Aug 11, 2025Updated 9 months ago
- Light Table Developers Guide - Gitbook☆12Feb 11, 2019Updated 7 years ago
- A fast, flexible, and fun blog app. Also, an easy-to-learn web development framework. Written in newLISP.☆19Feb 28, 2025Updated last year
- Previous exe and source versions of core MFC app and plugins☆10May 18, 2026Updated last week
- 汉化中文fastpages，能够上传Jupyter的博客网站 A Chinese version of fastpages☆15Oct 20, 2022Updated 3 years ago
- lux - a simple library for creating real-time graphical apps☆30Oct 4, 2021Updated 4 years ago
- Minimalist appearance for Emacs☆23Aug 8, 2010Updated 15 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.
- Fox Splitter (old name: Split Browser), Splits browser window as you like.☆18Jul 6, 2020Updated 5 years ago
- ☆41Jun 9, 2025Updated 11 months ago
- RFC 2047 MIME Message Header decoder Rust library.☆12May 20, 2026Updated last week
- A versatile mail library for common lisp☆12Dec 4, 2017Updated 8 years ago
- generate pac.txt☆11Jun 13, 2021Updated 4 years ago
- ☆40Mar 26, 2026Updated 2 months ago
- Collection of essential Vue Composition Utilities for Vue 2 and 3☆10Oct 18, 2021Updated 4 years ago