Top TLA repos
languages / TLA / global998 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 71 | wiki | 12 | Rebalanser |
| 72 | raft.tla | 12 | irfansharif |
| 73 | caspaxos-tla | 12 | tbg |
| 74 | consensus-tlaplus | 11 | Cjen1 |
| 75 | logless-reconfig | 11 | will62794 |
| 76 | MultiPaxos | 11 | nano-o |
| 77 | glibc_cv_tla_plus | 10 | skarupke |
| 78 | virtual-threads-tla | 9 | lorin |
| 79 | zookeeper-tla-spec | 9 | Disalg-ICS-NJU |
| 80 | leaderelection-tlaplus | 9 | heidihoward |