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.

• shenxs / about-scheme

  View on GitHub
  《How to Design Program》《build your own lisp》《The Scheme Program Language》 TSPL HTDP
  ☆27Oct 24, 2021Updated 4 years ago
• kyawaway / kyasual

  View on GitHub
  A smart-casual LaTeX Beamer theme
  ☆14Jan 21, 2025Updated last year
• precice / PreCICE.jl

  View on GitHub
  Julia language bindings for preCICE
  ☆13Jun 29, 2026Updated 3 weeks ago
• oneoo / merry

  View on GitHub
  server frame
  ☆18Sep 27, 2017Updated 8 years ago
• s373 / ofxCellularAutomata

  View on GitHub
  cellular automata in 1,2,3 dimensions
  ☆13Feb 23, 2015Updated 11 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• hraberg / foil

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

  View on GitHub
  Integrated markdown to html processing for vimwiki
  ☆14Oct 29, 2012Updated 13 years ago
• Yiklek / oh-my-rime

  View on GitHub
  rime 输入法集合
  ☆10May 23, 2026Updated last month
• JuliaMolSim / MolSim

  View on GitHub
  Registry for Molecular Simulation Packages
  ☆11Dec 16, 2022Updated 3 years ago
• 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 5 years ago
• kmlawson / ZotDevon

  View on GitHub
  NO LONGER FUNCTIONAL Script for Zotero->DEVONthink import
  ☆14Jan 13, 2015Updated 11 years ago
• squeak-smalltalk / squeaknews

  View on GitHub
  Web player for SqueakNews e-zine (2001)
  ☆19Aug 2, 2020Updated 5 years ago
• racket / htdp

  View on GitHub
  ☆111Updated this week
• Deploy open-source AI quickly and easily - Special Bonus Offer • Ad
  Runpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
• devsnek / tis100.js

  View on GitHub
  TIS-100 Implementation in JavaScript
  ☆10Sep 19, 2019Updated 6 years ago
• SaberVM / FVM

  View on GitHub
  The Functional Virtual Machine.
  ☆14Dec 18, 2024Updated last year
• tuirgin / base16-drracket

  View on GitHub
  DrRacket themes derived from base16-builder
  ☆71Aug 27, 2017Updated 8 years ago
• marianoguerra / mclulang

  View on GitHub
  McLulang: The message is the language
  ☆12Aug 23, 2024Updated last year
• 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 9 years ago
• tomooda / ViennaTalk

  View on GitHub
  ViennaTalk, a LIVE IDE for VDM-SL based on Pharo Smalltalk
  ☆18Jul 2, 2026Updated 3 weeks ago
• snoglobe / language_garden

  View on GitHub
  ☆10Aug 20, 2024Updated last year
• YBogomolov / ts-recursion-schemes-playground

  View on GitHub
  Playground for various recursion schemes done in TypeScript
  ☆15May 7, 2023Updated 3 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• Gabriella439 / political-notes

  View on GitHub
  ☆12Sep 5, 2022Updated 3 years ago
• Izzimach / react-webaudio

  View on GitHub
  Create and update an html5 webaudio "audio graph" using ReactJS.
  ☆69Oct 9, 2015Updated 10 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
• bollu / koans

  View on GitHub
  Short pieces of code that are "plays" - mostly haskell, sometimes math / other things
  ☆13Jun 26, 2022Updated 4 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
• adh / dfsch

  View on GitHub
  Scheme-style LISP language implementation with simple C interface.
  ☆26May 25, 2026Updated last month
• tirdadc / tannen.js

  View on GitHub
  Responsive React.js event calendar
  ☆10Jan 12, 2016Updated 10 years ago
• gladir / LINUX-0

  View on GitHub
  Clone Linux en Pascal (Turbo Pascal ou Free Pascal)
  ☆11Jun 1, 2026Updated last month
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• simonzhangsm / Big-Data-Architecture

  View on GitHub
  国外互联网公司大数据技术架构研究
  ☆19Jan 11, 2021Updated 5 years ago
• Peter-H-Meadows / GtMetamath

  View on GitHub
  Metamath logic game
  ☆10Jul 6, 2026Updated 2 weeks ago
• Nikolaj-K / turing-complete-smart-contract

  View on GitHub
  An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.
  ☆14Aug 31, 2018Updated 7 years ago
• FR4NC1SC011 / FromTheTransistorToTheWEbBrowser

  View on GitHub
  Inspired by George Hotz
  ☆13Oct 21, 2021Updated 4 years ago
• true-grue / soviet_compilers

  View on GitHub
  Материалы к серии докладов о советской компиляторной школе
  ☆12Aug 8, 2024Updated last year
• nineties / planck-old

  View on GitHub
  This project aims to develop a Compiler Infrastructure which have advanced memory safety and concurrency features.
  ☆10Dec 27, 2023Updated 2 years ago
• gaobowen / quickjs-examples

  View on GitHub
  quickjs quickstart examples
  ☆15Oct 18, 2019Updated 6 years ago