Pinned Loading

1. etcd etcd Public

   Forked from etcd-io/etcd

   Distributed reliable key-value store for the most critical data of a distributed system

   Go

2. paxos_proof paxos_proof Public

   Forked from TonyZhangND/paxos_proof

   Specification and proof of the Paxos protocol in Dafny

   Dafny