Top TLA repos
languages / TLA / global933 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 11 | pgo | 167 | DistCompiler |
| 12 | bookkeeper-tlaplus | 100 | Vanlightly |
| 13 | kafka-specification | 86 | hachikuji |
| 14 | PlusCal-examples | 76 | muratdem |
| 15 | raft-tlaplus | 57 | Vanlightly |
| 16 | tla-web | 52 | will62794 |
| 17 | Parallel-Raft-tla | 48 | HappyCS-Gu |
| 18 | ewd998 | 46 | tlaplus-workshops |
| 19 | tlaplus_animation | 43 | will62794 |
| 20 | CRDT-TLA | 42 | JYwellin |