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: about 3 years agoLinked 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. | 197 |
 willemt/raft | A C implementation of the Raft consensus protocol used to synchronize distributed systems and ensure consistency in data storage | 1,133 |
 uwplse/verdi-raft | An implementation of the Raft distributed consensus protocol verified in Coq | 186 |
 hhblaze/raft.net | An implementation of the RAFT distributed consensus algorithm among TCP peers using .NET for fault-tolerant and high-availability applications | 171 |
 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 | 715 |
 owlbarn/owl | A comprehensive scientific computing framework designed to provide a powerful and flexible toolset for writing concise, fast, and safe analytical code in OCaml. | 1,225 |
 ocsigen/lwt | Concurrent programming library for OCaml | 723 |
| 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 |