Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for consensus coq
consensus
x
coq
x
3 search results found
Verdi Raft
⭐
175
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Toychain
⭐
103
A minimalistic blockchain consensus implemented and verified in Coq
Algorand Verification
⭐
25
Formal verification of the Algorand consensus protocol
Related Searches
Blockchain Consensus (404)
Python Consensus (306)
Golang Consensus (284)
Consensus Raft (265)
Ocaml Coq (164)
Distributed Systems Consensus (92)
Types Coq (81)
Haskell Coq (63)
Definition Coq (53)
Calculus Coq (50)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.