- Seattle, WA
Highlights
- Pro
Popular repositories Loading
-
awesome-consensus
awesome-consensus PublicForked from dgryski/awesome-consensus
Awesome list for Paxos and friends
-
concoord
concoord PublicForked from denizalti/openreplica
Coordination Service for Distributed Systems
Python
-
ensemble
ensemble PublicForked from Tipoca/ensemble
The Ensemble Distributed Communication System
OCaml
-
-
Examples
Examples PublicForked from tlaplus/Examples
A collection of TLA specifications of varying complexities
TLA
-
ppopp16
ppopp16 PublicForked from utwente-fmt/ppopp16
Multi-Core On-The-Fly SCC Decomposition
Python
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.