Top TLA repos
languages / TLA / global998 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 81 | zab-tla | 9 | BinyuHuang-nju |
| 82 | crdt-tla | 9 | oscarcosta |
| 83 | tlaplus | 9 | sanjosh |
| 84 | table-formats-tlaplus | 8 | Vanlightly |
| 85 | MDBTLA | 8 | muratdem |
| 86 | machine-certified-linearizability | 8 | uguryavuz |
| 87 | tla-spec | 8 | hop-protocol |
| 88 | tla-cascading-failure | 8 | mbellotti |
| 89 | tla-prophecy | 8 | lorin |
| 90 | byihive | 8 | byisystems |