How to design programs
☆34Jan 11, 2016Updated 10 years ago
Alternatives and similar repositories for htdp
Users that are interested in htdp 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 Docker image with Oracle Java 8 and the latest version of Boot☆16Dec 8, 2016Updated 9 years ago
- Guide elucidating Lambda Calculus☆15Sep 3, 2021Updated 5 years ago
- Minimalistic libvte based terminal.☆14Feb 16, 2026Updated 7 months ago
- 用 VC++实现 C/S 模式下的远程控制，包含鼠标和键盘响应以及屏幕截图的传输与解压。☆12Aug 23, 2014Updated 12 years ago
- A smart-casual LaTeX Beamer theme☆14Jan 21, 2025Updated last year
- 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.
- ☆19Mar 4, 2016Updated 10 years ago
- Minimal JavaScript Playground ⌨️☆12Apr 6, 2023Updated 3 years ago
- add class interceptor into dalvik vm☆19Apr 11, 2013Updated 13 years ago
- Tuio for openframeworks☆14Apr 23, 2019Updated 7 years ago
- server frame☆18Sep 27, 2017Updated 8 years ago
- cellular automata in 1,2,3 dimensions☆13Feb 23, 2015Updated 11 years ago
- A TUI client for Zotero☆14Jul 21, 2021Updated 5 years ago
- rime 输入法集合☆10May 23, 2026Updated 3 months ago
- Beamer template based on Flux-beamer☆10Nov 13, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- firewall for windows 8☆18Dec 16, 2013Updated 12 years ago
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- ☆112Updated this week
- TIS-100 Implementation in JavaScript☆10Sep 19, 2019Updated 7 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated 2 years ago
- Memo Pad is a simple memo pad that saves your notes to localStorage, as well as allows you to share notes via URL☆13May 24, 2016Updated 10 years ago
- ☆20May 18, 2012Updated 14 years ago
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- MinmusOS: The design and implementation of an operating system based on Rust language. MinmusOS: 基于 Rust 语言的操作系统的设计与实现. (2024 年同济大学操作系统课程…☆12May 25, 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.
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 9 years ago
- ☆12Sep 5, 2022Updated 4 years ago
- The smallest 6502 / NES CPU simulator in JS (944b gzipped)☆15Mar 1, 2022Updated 4 years ago
- A Chip-8 VM☆12Apr 20, 2017Updated 9 years ago
- Tiny Tiny RSS Plugin to see full post☆13Feb 11, 2015Updated 11 years ago
- Short pieces of code that are "plays" - mostly haskell, sometimes math / other things☆13Jun 26, 2022Updated 4 years ago
- GNU Robbo for Playstation Vita and Playstation Portable, GekiHEN contest entry☆13Mar 27, 2017Updated 9 years ago
- Scheme-style LISP language implementation with simple C interface.☆26May 25, 2026Updated 3 months ago
- Clone Linux en Pascal (Turbo Pascal ou Free Pascal)☆11Jun 1, 2026Updated 3 months 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.
- Moved to Codeberg☆10Jan 10, 2026Updated 8 months ago
- 国外互联网公司大数据技术架构研究☆19Jan 11, 2021Updated 5 years ago
- Metamath logic game☆10Aug 11, 2026Updated last month
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆14Aug 31, 2018Updated 8 years ago
- Awesome Super Mario: mini mario-like in assembly language☆14Sep 11, 2015Updated 11 years ago
- Материалы к серии докладов о советской компиляторной школе☆13Aug 8, 2024Updated 2 years ago
- A package and module for using GNU Guix on Nix(OS). Kinda more a code dump than for actual use. See fork☆15May 13, 2020Updated 6 years ago