2015年8月1日上海，SICP读书讨论、函数式程序设计及程序设计语言理论交流分享会。
☆12Sep 1, 2015Updated 10 years ago
Alternatives and similar repositories for SICPxShanghai
Users that are interested in SICPxShanghai are comparing it to the libraries listed below
Sorting:
- 中文独立博客列表☆15Nov 3, 2019Updated 6 years ago
- 最全中华古诗词数据库, 唐宋两朝近一万四千古诗人, 接近5.5万首唐诗加26万宋诗. 两宋时期1564位词人，21050首词。☆23Jul 10, 2018Updated 7 years ago
- Spreadsheet Differ☆86Jul 4, 2020Updated 5 years ago
- 《Redis 设计与实现》所使用的 sphinx 样式。☆17Dec 9, 2013Updated 12 years ago
- ☆11May 31, 2023Updated 2 years ago
- 免费账号☆12Apr 18, 2018Updated 7 years ago
- A visual testing tool to compare two web pages visually and generate the pixel difference they have.☆16Dec 14, 2015Updated 10 years ago
- ☆11Nov 18, 2022Updated 3 years ago
- Schema setup for using prosemirror in chatwoot. Based on 👉 https://github.com/ProseMirror/prosemirror-example-setup/☆13Updated this week
- Nmap - the Network Mapper. Github mirror of official SVN repository.☆10Sep 5, 2018Updated 7 years ago
- A Docker for Adobe Campaign Classic developers.☆13Apr 8, 2024Updated last year
- Spacehuhn Wiki Source☆13Apr 27, 2023Updated 2 years ago
- QMK Homebrew Formulae☆16May 28, 2025Updated 9 months ago
- ☆11Jul 30, 2025Updated 7 months ago
- Utils for chatwoot☆11Feb 24, 2026Updated last week
- OpenSSL CocoaPod for iOS and OSX☆16Nov 20, 2022Updated 3 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- Log Python exceptions in the journal via systemd-coredump☆11Feb 22, 2023Updated 3 years ago
- Unix环境高级编程学习笔记☆13Jul 20, 2014Updated 11 years ago
- markdown-it plugin that adds more typographic enhancements (like smart arrows)☆14Jul 29, 2024Updated last year
- Puma Website (powered by Jekyll + GitHub Pages)☆19Jan 21, 2026Updated last month
- ... because printf doesn't show the binary representation of a number☆17Mar 29, 2017Updated 8 years ago
- Small script that allows you to use setTimeout and setInterval safety in consideration with page visibility☆15Oct 11, 2012Updated 13 years ago
- FreeBSD's congestion controller☆10Jul 19, 2018Updated 7 years ago
- Django-Rest-Framework 教程☆10Feb 16, 2016Updated 10 years ago
- ☆12Oct 9, 2025Updated 4 months ago
- Yet another Python PostgreSQL database driver☆12Dec 9, 2025Updated 3 months ago
- Minimalist NodeJS application for "Visitor Authentication"☆10Jul 5, 2023Updated 2 years ago
- Code mods for upgrading date-fns versions☆11Jan 4, 2023Updated 3 years ago
- ☆13Jan 27, 2024Updated 2 years ago
- ☆18Mar 17, 2025Updated 11 months ago
- fastlane Contributor Code of Conduct☆11Nov 10, 2025Updated 3 months ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆11Mar 12, 2025Updated 11 months ago
- Dr Mario clone in Python and wxPython, including AI☆10Sep 23, 2013Updated 12 years ago
- Rust crates to read and use Octopus MDict Dictionary.☆11Aug 27, 2020Updated 5 years ago
- ☆12Jul 15, 2024Updated last year
- A simple "hello world" win32 console template☆16Jul 26, 2025Updated 7 months ago
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- TextMate plugin (Cocoa) shell for running 'ack'☆25Jul 5, 2013Updated 12 years ago