CS6213: Special Topics in Distributed Computing (@cs6213)
Guthub

cs6213

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    16
  • Global Org. Rank 130,018 (Top 42 %)
  • Registered almost 4 years ago
  • Most used languages
    TLA     50.0 %
    Scala
         50.0 %
  • Location 🇸🇬 Singapore
  • Country Total Rank 3,338
  • Country Ranking
    TLA     2
    Scala
         43

Top repositories

1

tlaplus-examples

Basic TLA+ Examples
TLA
12
star
2

consensus-protocols

Scala
4
star