ehud / MIULinks
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
Sorting:
- World's dumbest fuzzer☆52Updated last year
- Semantic Version Control mk II.☆37Updated 5 years ago
- Password Generation using Markov models, Huffman trees, and Charles Dickens☆43Updated 6 years ago
- a haskellified version of the classic sed unix tool☆21Updated 10 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Adapton Project Homepage☆16Updated 9 years ago
- Brent's PhD thesis.☆63Updated 9 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆65Updated this week
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- OCaml implementation of the K 2.0 array programming language☆81Updated 9 years ago
- Scripting with Least Privilege☆108Updated 8 years ago
- Prep a new switch instantly.☆20Updated 7 years ago
- Noether programming language☆127Updated 8 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15Updated 3 weeks ago
- Examples of literate programming by Knuth☆37Updated last year
- MLton with Realtime GC and Threading features☆103Updated last year
- Notes on P-omega☆14Updated 7 years ago
- A walk-through of Real World Haskell 10th Chapter☆17Updated 9 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆28Updated 11 years ago
- A series of progressively more complex programming languages☆36Updated 10 years ago
- Programming Language meets UI☆51Updated 7 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago