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☆52May 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'.☆133Jan 15, 2015Updated 11 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 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.
- 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☆193Feb 6, 2015Updated 11 years ago
- Category Theory in Programming☆14Jan 22, 2026Updated 4 months ago
- A structural comparison tool for Python☆118Oct 13, 2016Updated 9 years ago
- Function Programming China home page☆18May 18, 2026Updated last month
- Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the se…☆24Apr 22, 2010Updated 16 years ago
- ☆20May 26, 2026Updated 3 weeks ago
- 《A Little Java, A Few Patterns》笔记☆58Feb 4, 2020Updated 6 years ago
- Some useful shortcuts for DrRacket☆80Oct 31, 2020Updated 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.
- [CJK] 整理所有 Unicode CJK 字符 (All Unicode CJK characters)☆29Sep 19, 2025Updated 8 months ago
- ☆17May 11, 2026Updated last month
- adqc - A version of C with verification and resource bounds☆23Oct 4, 2021Updated 4 years 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
- Course Materials for our 2015 Creative Code Summer Immersive☆10Aug 15, 2015Updated 10 years ago
- Spacemacs themes for VS Code☆17Jul 19, 2024Updated last year
- PySonar2: a semantic indexer for Python with interprocedual type inference☆1,421Mar 2, 2026Updated 3 months ago
- stex: stex to latex and latex to html converters and associated tools☆93Dec 1, 2023Updated 2 years ago
- Racket libraries for scientific computing☆17Feb 18, 2026Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- The core functions of Rekit.☆13Jan 8, 2023Updated 3 years ago
- 《The Little Schemer》笔记☆37Feb 2, 2015Updated 11 years ago
- Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.☆168Apr 1, 2017Updated 9 years ago
- a Haskell implementation of Deep Learning frameworks.☆12Mar 29, 2016Updated 10 years ago
- a lisp(clojure) in Objective-C, run on OS X and iOS☆25Sep 2, 2021Updated 4 years ago
- A SICP language for Racket.☆199Jun 17, 2024Updated 2 years 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
- events - tools, libraries & scripts, schemas & formats - (incl. whatson, rubyconf, pycon, beerfest & more)☆11Oct 6, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Previous exe and source versions of core MFC app and plugins☆10Jun 9, 2026Updated last week
- Chinese share links is a plugin for Discourse to add share links for Weibo & Renren.☆14Jun 29, 2016Updated 9 years ago
- lux - a simple library for creating real-time graphical apps☆30Oct 4, 2021Updated 4 years ago
- ☆41Jun 9, 2025Updated last year
- A versatile mail library for common lisp☆12Dec 4, 2017Updated 8 years ago
- Simple shadows in OpenFrameworks☆14Dec 10, 2019Updated 6 years ago
- Fly refresh tableview header☆11Oct 14, 2015Updated 10 years ago