Alternatives and similar repositories for remora:

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

• 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 3 years ago
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆38Updated last week
• zinid / delimcc
  Delimited continuations in byte-code and native OCaml
  ☆27Updated 4 years ago
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆43Updated last year
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆21Updated 4 months ago
• zshipko / ocaml-rust-starter
  Getting started with ocaml-rs
  ☆31Updated 5 months ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• ocamllabs / ocaml-memory-model
  ☆27Updated 5 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆27Updated 2 years ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆29Updated 3 years ago
• 0xGlitchbyte / OCrab
  A Rust to OCaml source to source translator
  ☆21Updated last year
• sorawee / pretty-expressive-ocaml
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆24Updated 11 months ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆48Updated this week
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• OCamlPro / wasocaml
  ☆58Updated 3 months ago
• gridbugs / climate
  A declarative command-line parser for OCaml
  ☆40Updated 2 weeks ago
• craff / pacomb
  A parsing library that compiles grammars to combinators using elimination of left recursion
  ☆22Updated 11 months ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆44Updated 3 weeks ago
• alan-j-hu / llvm-dune
  The official LLVM OCaml binding but built using dune
  ☆25Updated last week
• c-cube / moonpool
  Commodity thread pools and concurrency primitives for OCaml 5
  ☆56Updated 2 months ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated 6 months ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical types
  ☆26Updated last week
• fpottier / baby
  A balanced binary search tree library for OCaml
  ☆21Updated last month
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last month
• Gbury / ocaml-memgraph
  A small library to output memory graph for ocaml values
  ☆36Updated 7 months ago
• Fizzixnerd / ocaml-living
  A safer FFI interface for OCaml
  ☆11Updated 6 months ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆40Updated 3 months ago
• art-w / unicorn
  Purely functional GUI algebra
  ☆74Updated 2 years ago
• art-w / varray
  Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)
  ☆32Updated last year
• jmid / mutaml
  An OCaml mutation tester
  ☆66Updated 3 weeks ago