Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for consensus tla
consensus
x
tla
x
10 search results found
Awesome Consensus
⭐
1,504
Awesome list for Paxos and friends
Js
⭐
289
Gryadka is a minimalistic master-master replicated consistent key-value storage based on the CASPaxos protocol
Tla Plus
⭐
275
Raft.tla
⭐
217
TLA+ specification for the Raft consensus algorithm
Jraft
⭐
166
Yet another Raft Consensus implementation
Synchronous Tla Benchmarks
⭐
26
Synchronous fault-tolerant distributed algorithms encoded in TLA+
Awesome Tlaplus
⭐
17
A curated list of TLA+ resources.
Paxosstore Tla
⭐
10
Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
Raft.tla
⭐
8
TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
Whipstaff
⭐
8
A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
Related Searches
Blockchain Consensus (407)
Python Consensus (306)
Golang Consensus (284)
Consensus Raft (265)
Javascript Consensus (155)
Consensus Paxos (97)
Consensus Distributed Systems (83)
Raft Consensus Algorithm (49)
Tla Tlaplus (40)
Replication Consensus (36)
1-10 of 10 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.