Popular repositories Loading

1. awesome-consensus awesome-consensus Public

   Forked from dgryski/awesome-consensus

   Awesome list for Paxos and friends

2. concoord concoord Public

   Forked from denizalti/openreplica

   Coordination Service for Distributed Systems

   Python

3. ensemble ensemble Public

   Forked from Tipoca/ensemble

   The Ensemble Distributed Communication System

   OCaml

4. DrTLAPlus DrTLAPlus Public

   Forked from tlaplus/DrTLAPlus

   Dr. TLA+ series

   TLA

5. Examples Examples Public

   Forked from tlaplus/Examples

   A collection of TLA+ specifications of varying complexities

   TLA

6. ppopp16 ppopp16 Public

   Forked from utwente-fmt/ppopp16

   Multi-Core On-The-Fly SCC Decomposition

   Python