HTML5/EPUB3 version of SICP
☆27Jul 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
Sorting:
- Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.☆135Jan 15, 2015Updated 11 years ago
- Function Programming China home page☆18Updated this week
- A semantic indexer for Ruby with interprocedual type inference☆199Nov 15, 2022Updated 3 years ago
- Chez Scheme Version 9 User's Guide - Zhcn☆60Nov 28, 2021Updated 4 years ago
- A structural comparison tool for Lisp family languages, with experimental C++, JS support☆194Feb 6, 2015Updated 11 years ago
- 海思设备上部署阉割版yolov5☆13Nov 22, 2021Updated 4 years ago
- tx-parent☆12Sep 1, 2022Updated 3 years ago
- ☆10Updated this week
- A Redis-compatible in-memory database server written in Rust with MLua-based Lua 5.1 scripting☆17Nov 28, 2025Updated 3 months ago
- Previous exe and source versions of core MFC app and plugins☆10Updated this week
- Hugo Quick Start on Render☆10Feb 17, 2026Updated 2 weeks ago
- Write Minecraft Plugins in JavaScript.☆10Aug 27, 2021Updated 4 years ago
- 美观、简洁、细腻、高性能、响应灵敏，最初是为 Star Citizen Wiki 创建的。☆16Nov 24, 2025Updated 3 months ago
- This is the repository for Learning to Generate Piano Music With Sustain Pedals☆12Nov 23, 2023Updated 2 years ago
- A twitter liked typecho theme.☆11Sep 29, 2015Updated 10 years ago
- flex & bison (Lexical Analysis and Parsing)☆11May 18, 2018Updated 7 years ago
- A web app mimicking a programmable doorbell☆10May 21, 2021Updated 4 years ago
- Jekyll plugin for building Jekyll sites with any local theme.☆13Feb 27, 2026Updated last week
- 💬 Pretty anonymous portable web-based chat with the ability to transfer files☆10May 9, 2023Updated 2 years ago
- GNU Guix is a purely functional package manager for the GNU system, and a distribution thereof.☆12Oct 21, 2014Updated 11 years ago
- Adds syntax to racket languages☆11Aug 17, 2022Updated 3 years ago
- 「世の鶏よ、働け」☆10Nov 23, 2021Updated 4 years ago
- A very simple comment system written in PHP that uses flat files (i.e no database required).☆14Apr 10, 2013Updated 12 years ago
- 魔改typecho，开源项目typecho官方不怎么更新，就按照自己喜欢的部分去魔改☆10May 1, 2020Updated 5 years ago
- Developer documentation site for zkSync community.☆13Feb 27, 2026Updated last week
- tinydb 是用 Python 实现的一个很精巧的 nosql 数据库. 源码值得注解.☆10Sep 13, 2016Updated 9 years ago
- 极简wordpress主题☆11Jan 31, 2017Updated 9 years ago
- A Rust-based PDF viewer application built with dioxus and pdfium-render☆29Jun 24, 2025Updated 8 months ago
- Category Theory in Programming☆13Jan 22, 2026Updated last month
- 2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。☆12Sep 1, 2015Updated 10 years ago
- Issue is Blog, a serverless blog platform based on Github Issues.☆12Aug 29, 2021Updated 4 years ago
- A starter for a blog powered by Gatsby and ReasonML☆14Jan 11, 2023Updated 3 years ago
- ☆17Apr 2, 2024Updated last year
- 🐳 blade mvc cli application☆13Jun 23, 2018Updated 7 years ago
- Turn your Claude Code subscription to an OpenAI API compatible provider☆27Feb 20, 2026Updated 2 weeks ago
- Makes the 2d Eleven Table Tennis client automatically follow ETT matches played on the headset.☆13Oct 29, 2023Updated 2 years ago
- 运维系统☆10Dec 8, 2022Updated 3 years ago
- Markdown editor in a single static ~8.5KB HTML file☆10Jun 5, 2015Updated 10 years ago
- A simple Electron auto update API to make auto updates easier and more customizable for Electron apps.☆11Dec 29, 2022Updated 3 years ago