Alternatives and similar repositories for MIU:

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

• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆68Updated 14 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 9 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆36Updated 7 months ago
• cdosborn / lit
  A modern tool for literate programming
  ☆274Updated 7 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 5 years ago
• hausdorff / pyli
  A Python 3 compiler that anyone can understand.
  ☆67Updated 10 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 5 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆135Updated 4 years ago
• talw / crisp-compiler
  A compiler for Crisp (Lisp/Scheme-inspired language) in Haskell, with an LLVM backend
  ☆100Updated 8 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆76Updated 6 months ago
• JeffreyBenjaminBrown / digraphs-with-text
  ☆66Updated 6 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 6 years ago
• fxfactorial / an-ocaml-adoption-manifesto
  Getting Widespread OCaml Adoption
  ☆85Updated 7 years ago
• gasche / popl2018-papers
  Link to preprints for POPL'18 and colocated events
  ☆87Updated 6 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆85Updated 8 years ago
• vzaccaria / pandoc-mm
  Generate a mindmap from an org-mode file. Complete with annotations.
  ☆82Updated 7 years ago
• jwiegley / una
  A universal interface to multiple unarchiving tools
  ☆69Updated this week
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 5 years ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆81Updated 6 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated 10 months ago
• parsonsmatt / lambda
  An exploration and implementation of the lambda calculus.
  ☆12Updated 8 years ago
• yogsototh / learn_haskell
  An attemps to make a document to help learn Haskell
  ☆45Updated 5 years ago
• Poincare / DCFL
  Communication Free Learning (i.e. constraint solving) implementation in Haskell
  ☆18Updated 9 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 6 years ago
• zg / text-memorize
  A tool to help you memorize some text!
  ☆36Updated 7 years ago