GitHub topics: distributed-protocols
verse-lab/bythos
Compositional Verification of Composite Byzantine Protocols
Language: Coq - Size: 544 KB - Last synced at: 2 months ago - Pushed at: 10 months ago - Stars: 12 - Forks: 2
nicomwong/clockSyncServer
Implementation of the NTP clock synchronization algorithm
Language: Python - Size: 9.77 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0
nicomwong/Paxos-Distributed-Key-Value-Store
Implementation of the Paxos consensus protocol
Language: Python - Size: 52.7 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0