Geeks
nano-o
/
MultiPaxos
MultiPaxos and Disk Paxos in TLA+ and PlusCal
Primary Language
TLA
MIT License
MIT
MultiPaxos GitHub
Markdown
Readme
2
Issues
11
Stargazers
2
Watchers
Stargazers
Artur-Daveian
Ukraine
CalvinNeo
@pingcap
EAimTY
/tmp/
Handora
@alibaba
Isaac-DeFrain
@Granola-Team
Leechael
malbertoni
Seattle, WA
panda-sheep
Database Developer
stonewhitener
NTT
wilhelmjung
@deepnova
will62794