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:
- A lazy specializing virtual machine for purely functional languages☆103Updated 7 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- Iterated Function Systems fractals with OCaml.☆34Updated 3 years ago
- Link to preprints for POPL'17 and co-located events☆100Updated 8 years ago
- An interactive version of a classic puzzle☆83Updated 8 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Updated last month
- Haskell Extensible Shell☆68Updated 5 years ago
- A formalization of category theory in the Coq proof assistant.☆100Updated last year
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated 2 months ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- Some operator abuse☆29Updated 8 years ago
- Fork of Don Stewarts h4sh haskell shell scripts☆70Updated 15 years ago
- Logo turtle graphics interpreter in Haskell☆20Updated 11 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- Beautiful, interactive visualizations of logical inference☆149Updated 4 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- A schemy Lisp backed by Haskell☆60Updated 7 years ago
- being the notes and materials for CS410 in the 2013/14 academic session☆28Updated 11 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆103Updated last year
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- A hip inductive theorem prover!☆90Updated 3 years ago
- Tool for detecting bad style in Standard ML programs☆17Updated 6 years ago
- World's dumbest fuzzer☆52Updated last year
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- A rewrite of Ledger's core mathematical concepts in Haskell☆44Updated 8 years ago
- An IRC analysis server.☆81Updated 7 years ago
- A Computer Algebra System written in and for Haskell☆26Updated 9 years ago
- Formal topology (and some probability) in Coq☆31Updated 6 years ago
- a haskellified version of the classic sed unix tool☆21Updated 10 years ago