This is stars and forks stats for /ongardie/raft.tla repository. As of 08 May, 2024 this repository has 390 stars and 68 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| cosmos/ibc-go | GoTLAOther | 419 | 0 | 428 | 0 |
| xline-kv/Xline | RustShellTLA | 350 | 0 | 45 | 0 |
| bloomberg/blazingmq | C++CMakeTLA | 2.3k | 0 | 96 | 0 |
| mratsim/weave | NimC++C | 498 | 0 | 22 | 0 |
| tlaplus/DrTLAPlus | TLA | 764 | 0 | 118 | 0 |
| Vanlightly/kafka-tlaplus | TLA | 25 | 0 | 1 | 0 |
| pingcap/tla-plus | TLACoqMakefile | 279 | 0 | 40 | 0 |