Inspired by Cajori’s A History of Mathematical Notations, and/or TV Tropes.
☆45Aug 14, 2018Updated 7 years ago
Alternatives and similar repositories for programming-history
Users that are interested in programming-history are comparing it to the libraries listed below
Sorting:
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago
- Learning project by a group of people interested in learning the Idris language☆51Feb 18, 2015Updated 11 years ago
- A SMS based application to get your state and national reps' contact information on your phone 🇺🇸 ☎️☆12Dec 6, 2017Updated 8 years ago
- Sketches at a new documentation tool☆33Aug 8, 2018Updated 7 years ago
- A language for writing command line interfaces in Racket☆15Dec 20, 2021Updated 4 years ago
- Write fixtures compactly, expand them to a vector☆12Jan 10, 2017Updated 9 years ago
- The source for "Compiling with Dependent Types" (my dissertation)☆30May 10, 2022Updated 3 years ago
- GRASP for Android☆16Mar 13, 2023Updated 2 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- ☆26Dec 3, 2018Updated 7 years ago
- carML - a yummy and sweet ML dialect☆19Jan 6, 2022Updated 4 years ago
- NOTE: This repository is obsolete. Was: A pilot project to use Clojure for introductory computer science courses at the University of Min…☆20Sep 30, 2017Updated 8 years ago
- ☆26Jul 18, 2022Updated 3 years ago
- ❤️ Tiny multiplayer spreadsheet where you can react to cells.☆21Aug 7, 2020Updated 5 years ago
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆27Feb 17, 2026Updated 2 weeks ago
- Synless is a language-agnostic tree editor.☆23Jan 15, 2026Updated last month
- repo for fashion business/ideas/etc.☆22Jan 1, 2020Updated 6 years ago
- Previous version of "I Write Like" written in Racket☆59Aug 8, 2016Updated 9 years ago
- Interactive Scheme Primer, written in Scheme.☆22Jun 9, 2025Updated 8 months ago
- Quality-of-life for fiddly little JS apps that modify user-generated text☆20Jan 19, 2025Updated last year
- Lua/Terra + Java Native Interface☆21Mar 3, 2017Updated 9 years ago
- A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"☆25Jun 9, 2024Updated last year
- combined object/lambda architcture☆25May 2, 2009Updated 16 years ago
- Extended DCG syntax for Prolog by Peter Van Roy☆21Mar 22, 2018Updated 7 years ago
- User Interfaces for Programming Languages: The Compendium☆28Feb 14, 2021Updated 5 years ago
- C library for parsing JSON config files☆33Jul 4, 2019Updated 6 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Nov 6, 2017Updated 8 years ago
- Smallest Docker image I can muster☆28May 23, 2018Updated 7 years ago
- A fast and portable lisp implemented in forth☆28Jul 13, 2021Updated 4 years ago
- Interactive turtle power in your browser☆23Jul 8, 2019Updated 6 years ago
- A library to write emacs plugins in OCaml☆21May 20, 2016Updated 9 years ago
- A graduate seminar on SMT solving and solver-aided systems☆29Jul 17, 2022Updated 3 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆33Mar 16, 2021Updated 4 years ago
- Property-based testing with inputs defined as EBNF grammars☆29Dec 6, 2024Updated last year
- Invertible parsing for S-expressions☆34Feb 4, 2026Updated last month
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Jun 18, 2022Updated 3 years ago
- Studio is an interactive software diagnostics environment☆122Jan 14, 2021Updated 5 years ago
- Structural diffs for clojure source code☆188Jun 6, 2022Updated 3 years ago
- Effect-Driven Compiler Tester for OCaml☆37Sep 25, 2019Updated 6 years ago