Geeks
Cjen1
/
consensus-tlaplus
Primary Language
TLA
MIT License
MIT
consensus-tlaplus GitHub
Markdown
Readme
0
Issues
11
Stargazers
2
Watchers
Stargazers
cdouglas
UC Berkeley
ElanHasson
@digitalocean
heidihoward
@Microsoft
lemmy
@microsoft
monopoly-db
msmakhlouf
@roninae
Neurostep
Amsterdam, Netherlands
odp
Petuum, Inc.
tinkerware
Base60 Labs
will62794
zvikinoza