Top TLA repos
languages / TLA / global941 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 21 | CRDT-TLA | 42 | JYwellin |
| 22 | tiny-tlaplus-examples | 42 | lostbearlabs |
| 23 | mongo-repl-tla | 42 | visualzhou |
| 24 | ewd998 | 40 | lemmy |
| 25 | fpaxos-tlaplus | 38 | fpaxos |
| 26 | tla-linearizability | 36 | lorin |
| 27 | tlaplus-radix-tree | 33 | mitchellh |
| 28 | synchronous-tla-benchmarks | 32 | istoilkovska |
| 29 | kafka-tlaplus | 29 | Vanlightly |
| 30 | tlaplus_specs | 29 | mryndzionek |