Alternatives and similar repositories for bridge

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

• anentropic / ocaml-spectrum
  Library for color and formatting in the terminal
  ☆21Updated 2 weeks ago
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 3 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆25Updated last month
• Drup / functoria-lua
  Building Lua interpreters with lot's of functors
  ☆13Updated 7 years ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated 8 months ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆38Updated 6 years ago
• dbuenzli / rel
  Relational database programming for OCaml (unreleased)
  ☆44Updated 4 months ago
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆27Updated this week
• patricoferris / jsoo-mithril
  Js_of_ocaml bindings for MithrilJS
  ☆18Updated 4 years ago
• linoscope / okasaki-book-ocaml
  Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.
  ☆12Updated 4 years ago
• c-cube / bare-ocaml
  runtime library and code-generator for BARE (https://baremessages.org/)
  ☆23Updated last year
• TheLortex / ocaml-maelstrom
  Client library for Maelstrom and solutions to the Fly.io distributed systems challenges - gossip glomers
  ☆14Updated 2 years ago
• craigfe / brands
  Defunctionalised higher-kinded polymorphism in OCaml.
  ☆20Updated 5 years ago
• polytypic / loko-ml
  Lower-Kinded Optics for OCaml
  ☆25Updated 9 months ago
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆21Updated 7 months ago
• dannywillems / dsubml
  OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
  ☆13Updated 8 years ago
• PLTools / GT
  Datatype-generic object-oriented transformations for OCaml
  ☆17Updated last month
• mirage / index
  A platform-agnostic multi-level index
  ☆33Updated 2 months ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 3 years ago
• janestreet / bigdecimal
  Arbitrary-precision decimal based on Zarith
  ☆19Updated last month
• dannywillems / RML
  ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
  ☆38Updated 3 years ago
• samoht / depyt
  Yet another type combinator library
  ☆55Updated 3 years ago
• mirage / irmin-rs
  ☆16Updated 2 years ago
• janestreet / ppx_custom_printf
  Printf-style format-strings for user-defined string conversion
  ☆23Updated last month
• craff / phox
  ☆14Updated 10 months ago
• c-cube / choice
  Choice operator in OCaml, providing a backtracking monad
  ☆26Updated 3 years ago
• mirage / irmin-server
  A high-performance server for Irmin
  ☆24Updated 3 years ago
• let-def / lrgrep
  Menhir polishing toolbox, for experienced druids
  ☆36Updated 3 weeks ago
• Chris00 / ocaml-cairo
  Binding to Cairo, a 2D Vector Graphics Library.
  ☆56Updated last year