Geeks
fpaxos
/
ffpaxos-tlaplus
TLA+ specification of Fast Flexible Paxos
Primary Language
TLA
MIT License
MIT
ffpaxos-tlaplus Home Page
ffpaxos-tlaplus GitHub
Markdown
Readme
0
Issues
17
Stargazers
3
Watchers
Stargazers
aahmed-se
Splunk
aquarhead
@dohop
codeadict
Tierra
dpavlos
SRE @ AUTh
dritter-sap
@SAP
heidihoward
@Microsoft
jianyu-niu
SUSTech
kayceesrk
Tarides and IIT Madras
monopoly-db
otaviocarvalho
Earth
photoszzt
Austin
qiufengzouma
合肥
ReubenBond
Microsoft
shankarshastri
Visa
sky7drake
theGloves
will62794