GitHub topics: paxos-algorithm
TheMn/paxos-tla-plus-persian Fork of tlaplus/DrTLAPlus
A university paper written in Persian explaining the Paxos consensus algorithm with a formal specification in TLA+.
Language: TLA - Size: 23.2 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
nicomwong/multi-paxos-distributed-database
Distributed key-value database via Multi-Paxos Consensus Algorithm with fault-tolerance and safety
Language: Python - Size: 66.4 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0
trex-paxos/trex-paxos-jvm
Paxos Algorithm Strong Consistency library for the Java JVM
Language: Java - Size: 1.3 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 0
Aveek-Saha/paxos-db
A distributed key value store using multi paxos to achieve consensus
Language: Java - Size: 448 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
FernandoSchett/paxos_implementation
Python Socket based paxos algorithm implemantation
Language: Python - Size: 19.5 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
hnes/paxos-made-easy
Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
Size: 671 KB - Last synced at: 7 months ago - Pushed at: over 5 years ago - Stars: 7 - Forks: 0
riccardoprosdocimi/paxos-key-value-stores
A fault tolerant architecture to achieve consensus of updates amongst replicated state machine KV-store servers using Paxos.
Language: Java - Size: 24.4 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
alaattinyilmaz/paxos
Synchronous Paxos algorithm implementation.
Language: Python - Size: 260 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
HariCazorla/Distributed-Key-Value-store-using-Paxos
A distributed key value store implementation using dockers.
Language: Python - Size: 32.2 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
