Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for ocaml consensus
consensus
x
ocaml
x
7 search results found
Tezos
⭐
1,496
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
Verdi Raft
⭐
175
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Ocaml Raft
⭐
99
Implementation of Raft consensus algorithm
Oraft
⭐
28
Raft consensus algorithm implementation
Oraft
⭐
24
Library of Raft consensus algorithm implemented in OCaml
Coracle
⭐
20
Simulation of consensus algorithms in heterogeneous networks
Consent
⭐
7
ligand-based virtual screening with consensus queries
Related Searches
Ocaml Reasonml (475)
Bindings Ocaml (428)
Blockchain Consensus (407)
Ocaml Reason (394)
Ocaml Bucklescript (320)
Python Consensus (306)
Types Ocaml (294)
Language Ocaml (289)
Golang Consensus (284)
Consensus Raft (263)
1-7 of 7 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.