shreevatsa / knuth-literate-programsLinks
Examples of literate programming by Knuth
☆37Updated last year
Alternatives and similar repositories for knuth-literate-programs
Users that are interested in knuth-literate-programs are comparing it to the libraries listed below
Sorting:
- Book lucid interpreter written in python☆24Updated 5 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆89Updated 2 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 5 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- Logic for story telling!☆34Updated 7 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Apple array system☆66Updated 3 weeks ago
- The Pascal-F Verifier☆49Updated 7 years ago
- jod distribution source with commented versions in (jodijs) - tracks J Pacman versions☆10Updated last month
- ☆79Updated 6 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- nqthm - the original Boyer-Moore theorem prover, from 1992☆52Updated 8 years ago
- The NIAL language environment☆112Updated 2 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- ☆60Updated 5 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- Consolidated J language code referenced in my blog Analyze the Data not the Drivel☆40Updated 7 months ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Algebraic structures for untyped Racket☆77Updated 10 months ago
- Racket parser combinators inspired by parsack and megaparsec☆81Updated 7 months ago
- Some fun examples of solving problems with symbolic execution☆113Updated 6 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Mystery Languages☆38Updated last year
- 📓🍎An experimental blog written in Pollen / Racket☆80Updated 3 years ago
- OCaml code to construct an NFA from a regular expression☆52Updated 4 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆100Updated 4 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago