Alternatives and similar repositories for universe

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

• chetmurthy / ensemble
  The Ensemble distributed communications toolkit
  ☆12Updated 4 years ago
• mirage / irmin-rpc
  RPC client/server for Irmin
  ☆19Updated 3 years ago
• ocurrent / current_incr
  Self-adjusting computations
  ☆22Updated last year
• xavierleroy / camlidl
  Stub code generator for OCaml/C interface
  ☆33Updated last month
• ocamllabs / ocaml-memory-model
  ☆28Updated 6 years ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆26Updated 3 years ago
• vbmithr / ocaml-smtp
  SMTP client lib for OCaml
  ☆20Updated 8 years ago
• frex-project / metaocaml-frex
  ☆20Updated 2 months ago
• mirage / bloomf
  Efficient Bloom filters for OCaml
  ☆38Updated 3 years ago
• craigfe / brands
  Defunctionalised higher-kinded polymorphism in OCaml.
  ☆20Updated 4 years ago
• inhabitedtype / bigstringaf
  Bigstring intrinsics and fast blits based on memcpy/memmove
  ☆40Updated 3 weeks ago
• craigfe / causal-rpc
  A traceable distributed computation framework
  ☆22Updated 5 years ago
• cpitclaudel / fstar.js
  F* running in the browser
  ☆21Updated 5 years ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆30Updated 3 years ago
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 5 years ago
• backtracking / combine
  OCaml library for combinatorics
  ☆35Updated last month
• xavierleroy / ocamlmpi
  OCaml/MPI interface
  ☆26Updated 6 months ago
• jserot / lascar
  An OCaml library for manipulating Labeled Transition Systems
  ☆24Updated last year
• pqwy / psq
  Functional Priority Search Queues for OCaml
  ☆53Updated last year
• janestreet / memtrace_viewer
  Interactive memory profiler based on Memtrace
  ☆31Updated last month
• savonet / ocaml-posix
  Bindings to the various POSIX APIs
  ☆27Updated 2 weeks ago
• Octachron / tensority
  Strongly typed multidimensional array library for OCaml
  ☆53Updated 5 months ago
• owlbarn / owl_ode
  Owl's Differential Equation Solvers
  ☆35Updated 3 years ago
• dinosaure / art
  Adaptive Radix Tree in OCaml
  ☆51Updated 11 months ago
• xavierleroy / ocamlagrep
  String searching with errors, using the Wu-Manber algorithm
  ☆23Updated 6 months ago
• janestreet / sexp
  S-expression swiss knife
  ☆46Updated last month
• sneeuwballen / benchpress
  Testing and benchmarking tool for logic-related programs.
  ☆26Updated 3 months ago
• mgree / kmt
  Kleene algebra modulo theories
  ☆27Updated 2 years ago
• janestreet / ppx_python
  ARCHIVED. [@@deriving] plugin to generate Python conversion functions
  ☆34Updated 7 months ago
• LaurentMazare / ocaml-xla
  XLA (Accelerated Linear Algebra) bindings for OCaml
  ☆33Updated last month