oraft
Raft engine
A Raft consensus algorithm implementation in OCaml for distributed systems
Library of Raft consensus algorithm implemented in OCaml
28 stars
4 watching
3 forks
Language: OCaml
last commit: over 1 year ago
Linked from 1 awesome list
consensus-algorithmocamlraftraft-consensus-algorithm
ocaml-community/awesome-ocamlRelated projects:
| Repository | Description | Stars |
|---|---|---|
 threemammals/rafty | An implementation of the Raft consensus algorithm in C# and .NET core. | 196 |
 willemt/raft | A C implementation of the Raft consensus protocol used to synchronize distributed systems and ensure consistency in data storage | 1,132 |
 uwplse/verdi-raft | An implementation of the Raft distributed consensus protocol verified in Coq | 183 |
 hhblaze/raft.net | A .NET implementation of the RAFT distributed consensus algorithm for TCP peers with disk or memory data persistence. | 170 |
 bbva/raft-badger | An implementation of a Raft consensus algorithm using BadgerDB as the underlying data store. | 112 |
 mirage/digestif | Tools for implementing various hash algorithms in multiple programming languages. | 87 |
 hslam/raftdb | A distributed key-value database system using the Raft consensus protocol | 4 |
 informalsystems/cometmock | A mock implementation of a consensus algorithm used in blockchain applications. | 25 |
 qichengzx/m2 | A distributed key-value cache system based on the Raft consensus protocol | 27 |
 didier-wenzek/ocaml-kafka | Bindings for a distributed messaging system used for asynchronous data exchange between applications. | 63 |
| mirage/ocaml-cohttp | An OCaml library for building HTTP clients and servers using various asynchronous programming libraries | 711 |
 owlbarn/owl | A comprehensive OCaml scientific computing framework for high-performance numerical computations and data analysis. | 1,222 |
 ocsigen/lwt | Concurrent programming library for OCaml | 715 |
| mirage/ocaml-dns | An OCaml implementation of the DNS protocol supporting most standard domain name system functions. | 105 |
 chrisnc/tangaroa | A toy implementation of the Raft protocol with an experimental BFT variant in Haskell. | 111 |