Alternatives and similar repositories for MIU:

Users that are interested in MIU are comparing it to the libraries listed below

• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 11 months ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 5 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆275Updated 8 years ago
• TikhonJelvis / Cow
  Semantic Version Control mk II.
  ☆37Updated 5 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• dpiponi / Operators
  Some operator abuse
  ☆29Updated 7 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 6 months ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 7 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆39Updated 10 years ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 6 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆68Updated 14 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 9 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆35Updated 2 years ago
• paf31 / Embedding-a-Full-Linear-Lambda-Calculus-in-Haskell
  Embedding a Full Linear Lambda Calculus in Haskell
  ☆8Updated 9 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 9 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 10 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 9 months ago
• noether-lang / noether
  Noether programming language
  ☆127Updated 8 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 9 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 9 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• chrisdone-archive / flo
  Generate flow charts from your code base.
  ☆15Updated 9 years ago