Alternatives and similar repositories for topology

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

• ocaml-multicore / domain-local-await

  View on GitHub
  A scheduler independent blocking mechanism
  ☆19Feb 15, 2024Updated 2 years ago
• OCamlPro / ocp-ocamlres

  View on GitHub
  A simple tool and library to embed files and directories inside an OCaml executables
  ☆20Apr 11, 2022Updated 3 years ago
• ahrefs / ocaml-errortrace

  View on GitHub
  ☆15Dec 11, 2020Updated 5 years ago
• c-cube / olinq

  View on GitHub
  LINQ-like combinators for manipulating collections of in-memory data
  ☆16Sep 21, 2020Updated 5 years ago
• stripedpajamas / ocaml-ulid

  View on GitHub
  an ocaml package to generate ULIDs
  ☆18Jan 2, 2019Updated 7 years ago
• rocq-community / corn

  View on GitHub
  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
  ☆115Jan 9, 2026Updated last month
• robur-coop / conex

  View on GitHub
  establish trust in community repositories, cryptographically signed by library authors
  ☆37Nov 12, 2025Updated 3 months ago
• RedPRL / ocaml-bwd

  View on GitHub
  🔙 Backward lists for OCaml
  ☆22Nov 21, 2025Updated 2 months ago
• janestreet / configurator

  View on GitHub
  Helper library for gathering system configuration
  ☆19Sep 5, 2019Updated 6 years ago
• anuragsoni / kqueue-ml

  View on GitHub
  OCaml bindings to kqueue
  ☆21Feb 16, 2024Updated 2 years ago
• pqwy / unmark

  View on GitHub
  Painless micro-benchmarks
  ☆20Mar 6, 2019Updated 6 years ago
• rgrinberg / lev

  View on GitHub
  Low Level Bindings to Libev
  ☆29Oct 4, 2024Updated last year
• andreypopp / sqlpp

  View on GitHub
  relation query language, with typed embedding into OCaml
  ☆16Feb 23, 2025Updated 11 months ago
• dbuenzli / fpath

  View on GitHub
  File paths for OCaml
  ☆28Jul 29, 2025Updated 6 months ago
• ocurrent / current_incr

  View on GitHub
  Self-adjusting computations
  ☆23Oct 9, 2023Updated 2 years ago
• yomimono / oauth2_server

  View on GitHub
  a MirageOS OAuth2 authorization server for Etsy authentication
  ☆18Jul 15, 2022Updated 3 years ago
• rocq-community / math-classes

  View on GitHub
  A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
  ☆168Jan 9, 2026Updated last month
• monadius / ocaml_simple_interval

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

  View on GitHub
  Calculus of Constructions Implementation
  ☆17Dec 20, 2019Updated 6 years ago
• craigfe / generalised-signatures

  View on GitHub
  ☆12Mar 15, 2021Updated 4 years ago
• janestreet / async_websocket

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

  View on GitHub
  The Ray Tracer Challenge book solutions in Ocaml
  ☆13Mar 23, 2021Updated 4 years ago
• c-cube / thread-local-storage

  View on GitHub
  thread-local storage for OCaml
  ☆17Jan 13, 2025Updated last year
• jonludlam / js_top_worker

  View on GitHub
  Javascript toplevel worker
  ☆14Feb 5, 2026Updated last week
• polytypic / par-ml

  View on GitHub
  Experimental parallel and concurrent OCaml
  ☆14Jan 28, 2023Updated 3 years ago
• jtcoolen / ocaml-pari

  View on GitHub
  OCaml bindings to the number theory library PARI/GP
  ☆12Jan 11, 2025Updated last year
• patricoferris / jsoo-mithril

  View on GitHub
  Js_of_ocaml bindings for MithrilJS
  ☆18Jan 23, 2021Updated 5 years ago
• tmattio / dream-livereload

  View on GitHub
  Live reloading for Dream applications
  ☆25Apr 9, 2022Updated 3 years ago
• rocq-community / coq-100-theorems

  View on GitHub
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆61Nov 26, 2025Updated 2 months ago
• b0-system / b0

  View on GitHub
  Software construction and deployment kit
  ☆36Jan 16, 2026Updated 3 weeks ago
• pqwy / tpf

  View on GitHub
  Trivial/Tagless Polytypic Functions
  ☆23Apr 14, 2020Updated 5 years ago
• delamonpansie / camlfiber

  View on GitHub
  Fast native fibers for OCaml
  ☆39Nov 27, 2018Updated 7 years ago
• skydeck / cmitomli

  View on GitHub
  Convert a cmi file back to an mli interface
  ☆13Oct 4, 2012Updated 13 years ago
• jonsterling / coq-guarded-computational-type-theory

  View on GitHub
  ☆21Apr 15, 2018Updated 7 years ago
• dannywillems / dsubml

  View on GitHub
  OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
  ☆13Apr 18, 2017Updated 8 years ago
• patricoferris / ocaml-cid

  View on GitHub
  Content-addressed identifiers in OCaml
  ☆16Mar 23, 2023Updated 2 years ago
• alan-j-hu / camyll

  View on GitHub
  Static site generator
  ☆12Apr 6, 2025Updated 10 months ago
• tcoopman / dream-channels

  View on GitHub
  Phoenix (Elixir) like channels for Dream (Ocaml)
  ☆15Jul 20, 2021Updated 4 years ago
• OCamlPro / ocplib-endian

  View on GitHub
  Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.
  ☆14Jun 27, 2022Updated 3 years ago