prathyvsh/htdp external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

prathyvsh/htdp

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/prathyvsh/htdp)

Close

prathyvsh / htdpView on GitHubMore

• External links
• Readme badge

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.

• alexeyk13 / mkernel

  View on GitHub
  M-Kernel embedded RTOS
  ☆14Apr 11, 2013Updated 13 years ago
• adh / dfsch

  View on GitHub
  Scheme-style LISP language implementation with simple C interface.
  ☆26Mar 9, 2026Updated 2 months ago
• zelch / zterm

  View on GitHub
  Minimalistic libvte based terminal.
  ☆14Feb 16, 2026Updated 3 months ago
• uniqxh / control

  View on GitHub
  用 VC++实现 C/S 模式下的远程控制，包含鼠标和键盘响应以及屏幕截图的传输与解压。
  ☆12Aug 23, 2014Updated 11 years ago
• rajatkhanduja / Compiler

  View on GitHub
  ☆21May 18, 2012Updated 14 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• fdserr / clotilde

  View on GitHub
  The Linda process coordination language written in Clojure.
  ☆27Sep 18, 2015Updated 10 years ago
• MiCode / dalvik

  View on GitHub
  add class interceptor into dalvik vm
  ☆19Apr 11, 2013Updated 13 years ago
• pfsense / dpinger

  View on GitHub
  ☆18Mar 4, 2016Updated 10 years ago
• chrisdiana / jsden

  View on GitHub
  Minimal JavaScript Playground ⌨️
  ☆13Apr 6, 2023Updated 3 years ago
• tonyrog / uart

  View on GitHub
  serial com api
  ☆38Dec 17, 2020Updated 5 years ago
• Iwanaka / ofxTuio

  View on GitHub
  Tuio for openframeworks
  ☆14Apr 23, 2019Updated 7 years ago
• 74hc595 / Terminalscope

  View on GitHub
  Firmware for a VT100-compatible serial terminal that draws on an oscilloscope or XY monitor.
  ☆23Oct 23, 2010Updated 15 years ago
• hraberg / foil

  View on GitHub
  A small compiled and statically typed Lisp
  ☆11Dec 22, 2019Updated 6 years ago
• xem / miniPiano

  View on GitHub
  mini piano app outputting tiny js code
  ☆10Dec 26, 2018Updated 7 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• monw3c / Functional-Light-JS

  View on GitHub
  (翻译)JavaScript轻量级函数式编程
  ☆14Sep 30, 2019Updated 6 years ago
• linoscope / okasaki-book-ocaml

  View on GitHub
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆11Jun 13, 2021Updated 4 years ago
• blacha / binparse

  View on GitHub
  Typed binary parsing for typescript
  ☆16May 15, 2026Updated last week
• marianoguerra / match

  View on GitHub
  [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time
  ☆16Oct 24, 2009Updated 16 years ago
• racket / htdp

  View on GitHub
  ☆111May 15, 2026Updated last week
• UberPyro / Prowl-Ideas-Pile

  View on GitHub
  Ideas, documents, and tutorial pile for the Prowl Language
  ☆12Aug 2, 2024Updated last year
• devsnek / tis100.js

  View on GitHub
  TIS-100 Implementation in JavaScript
  ☆10Sep 19, 2019Updated 6 years ago
• a13 / iqa.el

  View on GitHub
  (Emacs) Init file (and directory) Quick Access.
  ☆11Aug 15, 2024Updated last year
• Mitim-84 / WFC-Gen

  View on GitHub
  WFC Overlapping Model implementation in haxe
  ☆15Aug 19, 2018Updated 7 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• yaodio / xv6-vi

  View on GitHub
  ☆10Dec 23, 2020Updated 5 years ago
• mhuebert / chia

  View on GitHub
  ☆14Jan 12, 2022Updated 4 years ago
• nixcon / nixcon-video-infra

  View on GitHub
  ☆16Oct 14, 2020Updated 5 years ago
• shlevy / cat-fiat

  View on GitHub
  An attempt to formalize unix cat in fiat
  ☆11May 28, 2017Updated 8 years ago
• Gabriella439 / political-notes

  View on GitHub
  ☆12Sep 5, 2022Updated 3 years ago
• betafcc / vscode-fp-ts-codegen

  View on GitHub
  Expands haskell-syntax ADTs to typescript equivalent types definitions using gcanti/fp-ts-codegen
  ☆16May 20, 2019Updated 7 years ago
• xem / mini6502

  View on GitHub
  The smallest 6502 / NES CPU simulator in JS (944b gzipped)
  ☆15Mar 1, 2022Updated 4 years ago
• technosaurus / jsish

  View on GitHub
  mirror of jsish - A javascript interpreter with 0install, sqlite and websocket support
  ☆13Dec 8, 2015Updated 10 years ago
• kleinesfilmroellchen / sof-language

  View on GitHub
  Moved to Codeberg
  ☆10Jan 10, 2026Updated 4 months ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• bollu / koans

  View on GitHub
  Short pieces of code that are "plays" - mostly haskell, sometimes math / other things
  ☆13Jun 26, 2022Updated 3 years ago
• kai-qu / syntax

  View on GitHub
  Experiments with syntax and symbols
  ☆15Mar 5, 2019Updated 7 years ago
• Peter-H-Meadows / GtMetamath

  View on GitHub
  Metamath logic game
  ☆10Apr 21, 2026Updated last month
• gladir / LINUX-0

  View on GitHub
  Clone Linux en Pascal (Turbo Pascal ou Free Pascal)
  ☆11Feb 22, 2026Updated 3 months ago
• cgiffard / Behaviour-Assertion-Sheets

  View on GitHub
  CSS-like declarative DSL for web integration testing.
  ☆138Jun 20, 2017Updated 8 years ago
• Aracthor / ASM

  View on GitHub
  Awesome Super Mario: mini mario-like in assembly language
  ☆11Sep 11, 2015Updated 10 years ago
• usirin / layout-tree

  View on GitHub
  An abstract tree data-structure to represent windows as leaf nodes.
  ☆12Dec 25, 2022Updated 3 years ago