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☆82Updated 7 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 14 years ago
- a haskellified version of the classic sed unix tool☆21Updated 10 years ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 8 months ago
- A modern tool for literate programming☆275Updated 8 years ago
- Embedding a Full Linear Lambda Calculus in Haskell☆8Updated 9 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- Link to preprints for POPL'17 and co-located events☆100Updated 8 years ago
- Brent's PhD thesis.☆64Updated 9 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 7 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Updated last year
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 10 years ago
- Plush - the comfy shell☆67Updated 10 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 3 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Regular expression matching in Idris☆11Updated 9 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Beautiful, interactive visualizations of logical inference☆147Updated 4 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- Simple recipes for lazy programmers.☆36Updated 4 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 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
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- A walk-through of Real World Haskell 10th Chapter☆17Updated 9 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- What I Wish I Knew While Learning Nix☆34Updated 3 years ago