ehud/MIU external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ehud/MIU

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ehud/MIU)

Close

ehud / MIUView on GitHubMore

• External links
• Readme badge

MIU from GEB, circa 1980

☆16Apr 3, 2017Updated 8 years ago

Alternatives and similar repositories for MIU

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

• Arnhav-Datar / EffPPL

  View on GitHub
  Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library
  ☆26Dec 21, 2021Updated 4 years ago
• hasky-mode / hasky-stack

  View on GitHub
  Interface to the Stack Haskell development tool
  ☆27Feb 18, 2020Updated 6 years ago
• chris-martin / haskell-aligned

  View on GitHub
  Haskell types lined up to highlight their similarities
  ☆30Jan 30, 2020Updated 6 years ago
• LaurentMazare / ocaml-matplotlib

  View on GitHub
  Plotting for ocaml based on matplotlib.pyplot
  ☆33Jun 19, 2022Updated 3 years ago
• ArulselvanMadhavan / mini_dalle

  View on GitHub
  mini-dalle in OCaml
  ☆39Nov 6, 2022Updated 3 years ago
• yomimono / autoci

  View on GitHub
  automatic ci configuration for the people
  ☆35Nov 20, 2019Updated 6 years ago
• LaurentMazare / npy-ocaml

  View on GitHub
  Numpy file format support for ocaml.
  ☆40Apr 3, 2024Updated last year
• LanaSina / feeling_bread

  View on GitHub
  ☆10Apr 27, 2022Updated 3 years ago
• plushmonkey / Marvin

  View on GitHub
  Continuum dll injection bot
  ☆11May 3, 2024Updated last year
• VarmaMSP / snake-game

  View on GitHub
  A demo of Functional Reactive Programming in Purescript
  ☆11May 17, 2018Updated 7 years ago
• OCamlPro / digodoc

  View on GitHub
  Dig into an opam switch for doc
  ☆10Apr 8, 2022Updated 3 years ago
• anik545 / OwlPPL

  View on GitHub
  Final Year Project - A probabilisitic programming language in OCaml
  ☆14May 10, 2020Updated 5 years ago
• rudymatela / tankode

  View on GitHub
  A programming action game.
  ☆13Feb 15, 2024Updated 2 years ago
• simonw / bugle_project

  View on GitHub
  Group collaboration tools for hackers in forts.
  ☆41Dec 14, 2010Updated 15 years ago
• gergoerdi / generic-syntax

  View on GitHub
  Library implementation of "Generic description of well-scoped, well-typed syntaxes"
  ☆12Mar 25, 2018Updated 7 years ago
• chetmurthy / ensemble

  View on GitHub
  The Ensemble distributed communications toolkit
  ☆13Jul 26, 2020Updated 5 years ago
• janestreet / async_websocket

  View on GitHub
  A library that implements the websocket protocol on top of Async
  ☆14Jan 15, 2026Updated last month
• fjxokt / lolClient

  View on GitHub
  NoAir PvP.net League of Legends Client
  ☆23May 21, 2013Updated 12 years ago
• jonludlam / js_top_worker

  View on GitHub
  Javascript toplevel worker
  ☆14Feb 5, 2026Updated last month
• jtcoolen / ocaml-pari

  View on GitHub
  OCaml bindings to the number theory library PARI/GP
  ☆12Jan 11, 2025Updated last year
• letoram / awb

  View on GitHub
  Arcan Workbench, Desktop- like script for Arcan [INACTIVE]
  ☆10Jul 1, 2017Updated 8 years ago
• CGenie / ray-tracer

  View on GitHub
  The Ray Tracer Challenge book solutions in Ocaml
  ☆13Mar 23, 2021Updated 4 years ago
• zshipko / resp

  View on GitHub
  OCaml library for building clients and servers that communicate using the Redis Serialization Protocol
  ☆12Nov 6, 2021Updated 4 years ago
• kandu / mew_vi

  View on GitHub
  Modal editing witch, VI interpreter
  ☆11May 29, 2020Updated 5 years ago
• ocaml-doc / doc-ock

  View on GitHub
  (DEPRECATED) Documentation generation for OCaml
  ☆13Jul 16, 2018Updated 7 years ago
• shyiko / urxvt-clipboard-paste-on-right-click

  View on GitHub
  rxvt-unicode extension that allows to paste the contents of your clipboard with the right click
  ☆10Mar 6, 2017Updated 9 years ago
• nojb / ocaml-maildir

  View on GitHub
  OCaml library to access Maildir folders
  ☆19Feb 25, 2019Updated 7 years ago
• MisterDA / ocaml-splash

  View on GitHub
  An Awesome OCaml splashscreen
  ☆10Apr 1, 2022Updated 3 years ago
• benjamintanweihao / exile

  View on GitHub
  EXILE – An EliXir Irc LoggEr
  ☆25Oct 16, 2014Updated 11 years ago
• ocaml-multicore / domain-local-await

  View on GitHub
  A scheduler independent blocking mechanism
  ☆19Feb 15, 2024Updated 2 years ago
• Softsapiens / mini-complete-servant

  View on GitHub
  A mini but complete example of API construction with persistence plus authorisation features with servant framework.
  ☆11Jan 14, 2016Updated 10 years ago
• dbunker / SABR

  View on GitHub
  Spatial and Action Based Resolver
  ☆13Jan 18, 2019Updated 7 years ago
• larkery / emacs-bankruptcy

  View on GitHub
  emacs cfg on its own
  ☆10Apr 20, 2018Updated 7 years ago
• framp / ramda-server

  View on GitHub
  A server made only by composing functions
  ☆10Jul 1, 2017Updated 8 years ago
• jashug / FormalizedCompilerAlgorithms

  View on GitHub
  Formalization in Coq of algorithms used in compilers for the Compiler.org project
  ☆15Dec 22, 2018Updated 7 years ago
• sanette / ocaml-tutorial

  View on GitHub
  Revamp ocaml-manual
  ☆11Oct 18, 2020Updated 5 years ago
• janestreet / line-up-words

  View on GitHub
  a small cmd line tool to align words in a sequence of lines in a smart way
  ☆13Jan 15, 2026Updated last month
• logangrado / hideshow-orgmode

  View on GitHub
  Orgmode-like folding for sideshow
  ☆11Dec 14, 2018Updated 7 years ago
• KenjiBrown / without-systemd

  View on GitHub
  Without-Systemd Gentoo overlay
  ☆16Dec 18, 2025Updated 2 months ago