paxosstore

Here are 2 public repositories matching this topic...

(Coded from scratch.) Distributed key-value store via Multi-Paxos Consensus Algorithm with fault-tolerance, safety, and reliability

TLA+ model checking and TLAPS theorem proving for the Paxos implementation in PaxosStore by WeChat

wechat formal-methods paxos distributed-consensus tecent tlaplus tlaps paxosstore

Add a description, image, and links to the paxosstore topic page so that developers can more easily learn about it.

To associate your repository with the paxosstore topic, visit your repo's landing page and select "manage topics."