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:
- An interactive version of a classic puzzle☆83Updated 8 years ago
- A lazy specializing virtual machine for purely functional languages☆103Updated 7 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- A formalization of category theory in the Coq proof assistant.☆100Updated last year
- A Computer Algebra System written in and for Haskell☆26Updated 9 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- Haskell Extensible Shell☆68Updated 5 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆97Updated 10 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 7 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- Ur/Web part of BazQux Reader sources☆84Updated 4 years ago
- A rewrite of Ledger's core mathematical concepts in Haskell☆44Updated 9 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- Generate flow charts from your code base.☆15Updated 10 years ago
- Get those pesky braces out of your face☆49Updated 8 years ago
- a haskellified version of the classic sed unix tool☆21Updated 10 years ago
- A walk-through of Real World Haskell 10th Chapter☆17Updated 10 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆29Updated 11 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Updated 4 months ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- An IRC analysis server.☆82Updated 7 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Regular expression matching in Idris☆11Updated 9 years ago
- Noether programming language☆130Updated 8 years ago
- Tool to determine relevant parts of binary data☆44Updated 8 years ago
- Images and text transcripts of the correspondence between John Backus and Edsger Dijkstra, 1978-1979. Ref: https://medium.com/@acidflask/…☆110Updated 9 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- ☆41Updated 11 years ago