ehud / MIU
MIU from GEB, circa 1980
☆16Updated 8 years ago
Alternatives and similar repositories for MIU:
Users that are interested in MIU are comparing it to the libraries listed below
- World's dumbest fuzzer☆52Updated last year
- A modern tool for literate programming☆274Updated 8 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Examples of literate programming by Knuth☆37Updated 10 months ago
- Noether programming language☆127Updated 7 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆68Updated 14 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆102Updated last year
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆51Updated 8 years ago
- Scripting with Least Privilege☆108Updated 7 years ago
- A formalization of category theory in the Coq proof assistant.☆95Updated 5 months ago
- Probabilistic Programming☆42Updated last year
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Beautiful, interactive visualizations of logical inference☆148Updated 4 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 5 years ago
- Algebraic structures for untyped Racket☆77Updated 9 months ago
- GrSL - the GSL-based random Sampling Library☆13Updated 13 years ago
- Link to preprints for POPL'17 and co-located events☆100Updated 8 years ago
- OCaml implementation of the K 2.0 array programming language☆80Updated 9 years ago
- MIT Scheme environment for the browser☆59Updated 7 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 9 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 8 years ago
- ☆52Updated 8 years ago
- An R5RS Scheme in JavaScript.☆16Updated 2 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 3 years ago
- [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.☆51Updated 3 years ago