Library of Raft consensus algorithm implemented in OCaml
☆31Feb 9, 2026Updated 3 weeks ago
Alternatives and similar repositories for oraft
Users that are interested in oraft are comparing it to the libraries listed below
Sorting:
- Raft consensus algorithm implementation☆31May 2, 2020Updated 5 years ago
- Plugin for Google's protobuf compiler to generate interfaces based on protobuf specifications and runtime for encoding and decoding proto…☆25Oct 3, 2025Updated 5 months ago
- Implementation of the Raft protocol in OCaml☆20Mar 8, 2017Updated 8 years ago
- Ocaml bindings for lmdb.☆47Jan 28, 2026Updated last month
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- A B-Tree implementation in OCaml☆24Oct 24, 2016Updated 9 years ago
- gRPC library for OCaml☆84Jul 28, 2025Updated 7 months ago
- ☆13Sep 15, 2022Updated 3 years ago
- experiments with Brr/Note☆13Aug 27, 2021Updated 4 years ago
- Asynchronous effect based IO☆32May 14, 2021Updated 4 years ago
- OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX d…☆17Feb 2, 2024Updated 2 years ago
- A ppx rewriter that generates hash functions from type expressions and definitions☆17Jan 15, 2026Updated last month
- An OCaml library for managing the lifecycle of stateful components and their dependencies☆48May 18, 2023Updated 2 years ago
- YOCaml is a static site generator, mostly written in OCaml☆157Feb 24, 2026Updated last week
- Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)☆71Feb 7, 2026Updated 3 weeks ago
- OCaml bindings for Kafka☆71Jul 8, 2024Updated last year
- Instrumentation for https://opentelemetry.io☆52Updated this week
- [MIRROR] Ultimate Ocaml Editing Mode☆22Jul 12, 2022Updated 3 years ago
- DBCaml is a database library for OCaml☆66Nov 14, 2024Updated last year
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 3 years ago
- Pure OCaml implementation of the "vchan" shared-memory communication protocol☆45Mar 6, 2025Updated last year
- Markdown parser and printer☆31Jan 25, 2021Updated 5 years ago
- Program Synthesis☆15May 17, 2021Updated 4 years ago
- Fast, safe and composable streaming abstractions.☆120Nov 25, 2024Updated last year
- Generate json schema from ocaml type☆21Feb 25, 2026Updated last week
- Bitcoin data-structures library for OCaml☆43Jun 3, 2020Updated 5 years ago
- The core parallel and shared memory library used by Hack, Flow, and Pyre☆42Feb 27, 2021Updated 5 years ago
- OCaml AWS Client☆20Jul 10, 2023Updated 2 years ago
- A traceable distributed computation framework☆23Oct 8, 2019Updated 6 years ago
- A Protobuf Compiler for OCaml☆189Jan 12, 2026Updated last month
- Petrol's an OCaml SQL API made to go FAST.☆128Oct 28, 2025Updated 4 months ago
- A pure OCaml PostgreSQL client library☆130Oct 26, 2022Updated 3 years ago
- A Coq library for abstract syntactical reasoning☆24Apr 29, 2025Updated 10 months ago
- Bin_prot binary protocols in Rust☆20Dec 17, 2023Updated 2 years ago
- Hilite - a simple code to HTML syntax highlighter☆22Aug 18, 2025Updated 6 months ago
- Diffusers API in OCaml☆21Dec 9, 2022Updated 3 years ago
- Realtime grep for OCaml/Coq sources available on opam☆87Sep 5, 2024Updated last year
- This package contains a lightweight deductive database system in OCaml☆41Dec 15, 2021Updated 4 years ago
- A PPX extension for big array literals in OCaml☆19Jul 18, 2018Updated 7 years ago