Alternatives and similar repositories for MIU

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

• sharkdp / parachuting-robots
  An interactive version of a classic puzzle
  ☆83Updated 8 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• cpennington / h4sh
  Fork of Don Stewarts h4sh haskell shell scripts
  ☆70Updated 15 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• chrisdone-archive / ircbrowse
  An IRC analysis server.
  ☆81Updated 7 years ago
• ollef / braces-be-gone
  Get those pesky braces out of your face
  ☆49Updated 8 years ago
• tathougies / react.hs
  Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/
  ☆14Updated 10 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆277Updated 8 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• rodrigogribeiro / idrisregexp
  Regular expression matching in Idris
  ☆11Updated 9 years ago
• jekor / hesh
  Haskell Extensible Shell
  ☆68Updated 5 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• gasche / popl2017-papers
  Link to preprints for POPL'17 and co-located events
  ☆100Updated 8 years ago
• bazqux / bazqux-urweb
  Ur/Web part of BazQux Reader sources
  ☆84Updated 4 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆39Updated 5 months ago
• yi-editor / yi-rope
  Rope data structure used by Yi
  ☆20Updated 7 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• noether-lang / noether
  Noether programming language
  ☆129Updated 8 years ago
• bch29 / robo-monad
  Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.
  ☆15Updated 10 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• fmthoma / vgrep
  A pager for grep
  ☆106Updated 4 years ago
• hrldcpr / Bezier.hs
  Bézier curves in Haskell
  ☆28Updated last month
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆100Updated last year
• zepto-lang / zepto
  A schemy Lisp backed by Haskell
  ☆60Updated 7 years ago
• fxfactorial / an-ocaml-adoption-manifesto
  Getting Widespread OCaml Adoption
  ☆84Updated 7 years ago
• pigworker / CS410-13
  being the notes and materials for CS410 in the 2013/14 academic session
  ☆28Updated 11 years ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆182Updated 5 years ago