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 modern tool for literate programming☆277Updated 8 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 10 years ago
- Noether programming language☆130Updated 8 years ago
- An IRC analysis server.☆81Updated 7 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- A lazy specializing virtual machine for purely functional languages☆103Updated 7 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 6 years ago
- A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend☆100Updated 9 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Updated last year
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- A formalization of category theory in the Coq proof assistant.☆100Updated last year
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 3 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 10 years ago
- Scripting with Least Privilege☆110Updated 8 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated 5 months ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- World's dumbest fuzzer☆53Updated 2 years ago
- Programming Language meets UI☆51Updated 8 years ago
- A small implementation of type inference☆80Updated 10 years ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 4 years ago
- Beautiful, interactive visualizations of logical inference☆151Updated 4 years ago
- Ur/Web part of BazQux Reader sources☆84Updated 4 years ago
- Link to preprints for POPL'17 and co-located events☆101Updated 8 years ago