Alternatives and similar repositories for um-abt

Users that are interested in um-abt are comparing it to the libraries listed below

• sanette / snoke

  View on GitHub
  Snóke is a good old Snake game with new ideas
  ☆21Feb 8, 2026Updated last week
• Octachron / typed-musings

  View on GitHub
  Exploring the corners of OCaml type system
  ☆18Jan 26, 2026Updated 2 weeks ago
• ocurrent / ocaml-docs-ci

  View on GitHub
  CI building documentation for ALL versions of ALL packages !
  ☆17Jan 26, 2026Updated 2 weeks ago
• craigfe / compact

  View on GitHub
  Memory-efficient data structures in OCaml
  ☆37Dec 27, 2021Updated 4 years ago
• dbuenzli / typegist

  View on GitHub
  Reflect the essence of OCaml types as values
  ☆14Dec 12, 2024Updated last year
• patricoferris / irmin-socket

  View on GitHub
  Some fun with creating little collaborative browser things...
  ☆11Apr 25, 2021Updated 4 years ago
• Chris00 / ocaml-mindstorm

  View on GitHub
  Library to drive Lego mindstorm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.
  ☆17Jul 25, 2023Updated 2 years ago
• Drup / zarith-ppx

  View on GitHub
  Literals for Zarith's arbitrary-precision integers and rationals
  ☆12Aug 18, 2022Updated 3 years ago
• Chris00 / ocaml-interval

  View on GitHub
  An interval library for OCaml
  ☆16Dec 9, 2022Updated 3 years ago
• ocaml-doc / voodoo

  View on GitHub
  ☆15Mar 26, 2024Updated last year
• claudiusFX / Claudius

  View on GitHub
  A fantasy-console style graphics library for OCaml
  ☆35Sep 17, 2025Updated 4 months ago
• uwplse / cheerios

  View on GitHub
  Formally verified Coq serialization library with support for extraction to OCaml
  ☆24Oct 22, 2023Updated 2 years ago
• dinakajoy / pen-it-down

  View on GitHub
  A simple note-taking app (WIP)
  ☆15Oct 20, 2025Updated 3 months ago
• jfeser / bitarray

  View on GitHub
  Fast vectorized bitarrays for OCaml
  ☆16Jul 11, 2023Updated 2 years ago
• backtracking / ocaml-bdd

  View on GitHub
  A simple BDD library for OCaml
  ☆13May 20, 2025Updated 8 months ago
• soren-n / bidi-higher-rank-poly

  View on GitHub
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22May 20, 2021Updated 4 years ago
• jeffa5 / mirage-xmpp

  View on GitHub
  Moved to https://git.jeffas.net
  ☆15Apr 8, 2019Updated 6 years ago
• NathanReb / ppx_yojson

  View on GitHub
  OCaml PPX extension for JSON literals and patterns
  ☆45Mar 11, 2024Updated last year
• Armael / pp_loc

  View on GitHub
  Pretty-printing for error source locations
  ☆36Jun 1, 2022Updated 3 years ago
• formal-land / coq-bonsai

  View on GitHub
  🌳 Generate a fresh bonsai in your terminal
  ☆30Oct 4, 2021Updated 4 years ago
• Octachron / talaria_bibtex

  View on GitHub
  A bibtex file parser
  ☆21Feb 11, 2024Updated 2 years ago
• dinakajoy / mini_github_app_using_ocaml

  View on GitHub
  A simple app to test out irmin and dream
  ☆18Oct 18, 2025Updated 3 months ago
• ocaml-dune / pp

  View on GitHub
  Pretty printing library
  ☆55Nov 14, 2024Updated last year
• craigfe / oskel

  View on GitHub
  Skeleton generator for OCaml projects.
  ☆47Oct 28, 2021Updated 4 years ago
• stonebuddha / eopl

  View on GitHub
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Jan 13, 2017Updated 9 years ago
• mmcco / verified-parser-example

  View on GitHub
  A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.
  ☆21Mar 19, 2015Updated 10 years ago
• m-laniakea / ascend

  View on GitHub
  Ascend - simple, yet fun terminal RPG.
  ☆32Nov 2, 2024Updated last year
• rgrinberg / curly

  View on GitHub
  Command line curl wrapper for OCaml
  ☆43Jul 7, 2024Updated last year
• mirage / bechamel

  View on GitHub
  Agnostic benchmark in OCaml (proof-of-concept)
  ☆43Jun 28, 2024Updated last year
• dinosaure / gilbraltar

  View on GitHub
  MirageOS on RPi4
  ☆63Jan 3, 2023Updated 3 years ago
• mirage / eqaf

  View on GitHub
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Jun 27, 2024Updated last year
• ocurrent / current_incr

  View on GitHub
  Self-adjusting computations
  ☆23Oct 9, 2023Updated 2 years ago
• ocaml-doc / odoc-parser

  View on GitHub
  An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.
  ☆16Oct 19, 2023Updated 2 years ago
• yomimono / oauth2_server

  View on GitHub
  a MirageOS OAuth2 authorization server for Etsy authentication
  ☆18Jul 15, 2022Updated 3 years ago
• panglesd / ocaml-diffutils

  View on GitHub
  An ocaml library for manipulating diffs.
  ☆19Feb 12, 2024Updated 2 years ago
• ocaml-tui / tty

  View on GitHub
  A pure OCaml library for working with terminals
  ☆33Apr 2, 2024Updated last year
• craigfe / generalised-signatures

  View on GitHub
  ☆12Mar 15, 2021Updated 4 years ago
• monadius / ocaml_simple_interval

  View on GitHub
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆10May 31, 2022Updated 3 years ago
• ocamllabs / focs-notebooks

  View on GitHub
  Foundations of Computer Science notebooks
  ☆17Oct 13, 2025Updated 4 months ago