Alternatives and similar repositories for rml

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

• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 7 months ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• anentropic / ocaml-spectrum
  Library for color and formatting in the terminal
  ☆21Updated 2 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆59Updated 11 months ago
• EduardoRFS / ocaml-jit-example
  unloading modules with ocaml native
  ☆16Updated 4 years ago
• vyorkin / tiger
  A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
  ☆24Updated 3 years ago
• jobjo / popper
  Property-based testing at ease
  ☆42Updated 4 years ago
• Chris00 / ocaml-cairo
  Binding to Cairo, a 2D Vector Graphics Library.
  ☆56Updated 11 months ago
• samoht / depyt
  Yet another type combinator library
  ☆54Updated 3 years ago
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆40Updated last week
• dbuenzli / rel
  Relational database programming for OCaml (unreleased)
  ☆43Updated 2 months ago
• let-def / lrgrep
  Menhir polishing toolbox, for experienced druids
  ☆35Updated last week
• 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
• essdotteedot / distributed
  Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.
  ☆58Updated 5 years ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆51Updated 2 months ago
• dbuenzli / note
  Declarative events and signals for OCaml
  ☆50Updated last year
• polytypic / rea-ml
  Effectful OCaml with Objects and Variants
  ☆29Updated 2 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated last year
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆51Updated 7 years ago
• marigold-dev / easier-proofs
  A project which aim to help engineers to make proves easily
  ☆14Updated 3 years ago
• backtracking / vector
  ☆16Updated 4 years ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• corwin-of-amber / ocaml-wasm
  The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel
  ☆43Updated 2 years ago
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 3 years ago
• OCamlPro / memthol
  Memthol is a visualizer for memory profiling data generated from OCaml programs.
  ☆28Updated 2 years ago
• koonwen / obatcher
  A Framework for building Batched Concurrent Services
  ☆21Updated 4 months ago
• 4y8 / combo
  A simple parser combinator library for Ocaml
  ☆30Updated 4 years ago
• kfl / wpp
  A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.
  ☆19Updated 4 years ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆38Updated 4 months ago
• ocaml-multicore / multicore-talks
  Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"
  ☆29Updated 2 years ago