Alternatives and similar repositories for subml

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

• paurkedal / batyr

  View on GitHub
  A jabber logger and web interface
  ☆12Jan 5, 2026Updated last month
• typesanitizer / b2piet

  View on GitHub
  ☆10Nov 1, 2017Updated 8 years ago
• smimram / catt

  View on GitHub
  An infinity-categorical coherence typechecker
  ☆18Nov 4, 2024Updated last year
• xvw / drumaderian

  View on GitHub
  Drumaderian is a small framework for building VideoGame over Js_of_ocaml using Canvas. But... still in progress !
  ☆12Jun 24, 2017Updated 8 years ago
• madvagabond / ocaml-balancers

  View on GitHub
  A client side load balancing library for ocaml
  ☆18Aug 11, 2018Updated 7 years ago
• aantron / faster-map

  View on GitHub
  A tail-recursive list map with good performance for all list sizes. Not actually written in assembly.
  ☆13Sep 23, 2021Updated 4 years ago
• ocsigen / ocaml-eliom

  View on GitHub
  A modified OCaml compiler for eliom programs
  ☆10Jan 16, 2017Updated 9 years ago
• janestreet / toplevel_expect_test

  View on GitHub
  Toplevel expectation test
  ☆19Jan 15, 2026Updated 3 weeks ago
• let-def / distwit

  View on GitHub
  Distribute/marshal instances of ocaml extensible variant types and exceptions
  ☆16Nov 26, 2016Updated 9 years ago
• kit-ty-kate / ocamldap

  View on GitHub
  Ocamldap is an implementation of the Light Weight Directory Access Protocol
  ☆15Dec 8, 2025Updated 2 months ago
• fxfactorial / lambda-invaders

  View on GitHub
  OCaml based version of space-invaders
  ☆14Aug 27, 2015Updated 10 years ago
• jeffa5 / mirage-xmpp

  View on GitHub
  Moved to https://git.jeffas.net
  ☆15Apr 8, 2019Updated 6 years ago
• lpw25 / implicits-module-system

  View on GitHub
  Work on modular implicits
  ☆25Oct 23, 2018Updated 7 years ago
• JacquesCarette / finally-tagless

  View on GitHub
  Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
  ☆43Nov 28, 2018Updated 7 years ago
• ericfinster / catt

  View on GitHub
  Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories
  ☆15Mar 26, 2017Updated 8 years ago
• stedolan / linkage

  View on GitHub
  easy-to-use wrapper for OCaml's Dynlink
  ☆16Jan 9, 2017Updated 9 years ago
• ecavallo / ptt

  View on GitHub
  Experimental type-checker for internally parametric type theory
  ☆32Mar 27, 2025Updated 10 months ago
• jkoppel / thermometer-continuations

  View on GitHub
  Examples from our paper "Capturing the Future by Replaying the Past"
  ☆23Sep 10, 2024Updated last year
• jonsterling / tt

  View on GitHub
  secret project
  ☆17Mar 14, 2018Updated 7 years ago
• jacquev6 / JsOfOCairo

  View on GitHub
  OCaml library to reuse Cairo-based drawing code in browser
  ☆18May 2, 2019Updated 6 years ago
• cameronhunter / alexa-reasonml

  View on GitHub
  An example Alexa skill written in ReasonML
  ☆11Sep 6, 2017Updated 8 years ago
• choeger / ppx_deriving_morphism

  View on GitHub
  Deriving morphisms for OCaml data structures
  ☆10Aug 28, 2019Updated 6 years ago
• ToTal / total

  View on GitHub
  ☆11Jul 20, 2016Updated 9 years ago
• mrvn / ocaml-qt5

  View on GitHub
  bindings for QT5 widgets
  ☆10Mar 25, 2016Updated 9 years ago
• besport / ocsigen-i18n

  View on GitHub
  Internationalisation library for Web applications (server and/or client)
  ☆13Dec 9, 2025Updated 2 months ago
• dbuenzli / serialkit

  View on GitHub
  Serialization formats toolkit for OCaml (unreleased)
  ☆13Jan 2, 2026Updated last month
• vouillon / animals

  View on GitHub
  A phylogenetic tree of animals
  ☆13Sep 25, 2016Updated 9 years ago
• alan-j-hu / ocaml-textmate-language

  View on GitHub
  Library for tokenizing code with TextMate grammars
  ☆12Jan 4, 2024Updated 2 years ago
• reynir / ocp-index-top

  View on GitHub
  ☆20Jan 16, 2025Updated last year
• neel-krishnaswami / linearml

  View on GitHub
  A simple implementation of linear type theory
  ☆39Apr 21, 2017Updated 8 years ago
• ciaran16 / shell

  View on GitHub
  Lets you create interactive shells in OCaml.
  ☆10Sep 13, 2016Updated 9 years ago
• processone / jamler

  View on GitHub
  ☆14Dec 27, 2023Updated 2 years ago
• huiyaozheng / Mirage-zmq

  View on GitHub
  An implementation of some 0MQ RFCs in OCaml for MirageOS
  ☆11May 20, 2019Updated 6 years ago
• yallop / ocaml-pb-plugin

  View on GitHub
  A protoc plugin for generating OCaml code from protobuf (.proto) files.
  ☆17Nov 30, 2019Updated 6 years ago
• Drup / fugit

  View on GitHub
  A small CLI to launch notifications at a given time
  ☆13Sep 9, 2020Updated 5 years ago
• AltGr / opam-ed

  View on GitHub
  A small command-line tool to help with mechanical edition of opam files
  ☆10Aug 15, 2023Updated 2 years ago
• patricoferris / irmin-socket

  View on GitHub
  Some fun with creating little collaborative browser things...
  ☆11Apr 25, 2021Updated 4 years ago
• rvantonder / hack-parallel-example

  View on GitHub
  An example project to demonstrate https://github.com/rvantonder/hack-parallel
  ☆13May 18, 2020Updated 5 years ago
• ocaml-multicore / multicore-bench

  View on GitHub
  Framework for benchmarking on multiple cores on current-bench
  ☆13Jun 14, 2025Updated 8 months ago