This is stars and forks stats for /Vanlightly/raft-tlaplus repository. As of 20 Apr, 2024 this repository has 52 stars and 5 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| ElliotSwart/pragmaticformalmodeling | TLAHTMLSCSS | 38 | 0 | 2 | 0 |
| apollographql/router | RustTLAShell | 702 | +4 | 207 | +1 |
| hwayne/learntla-v2 | TLAPythonPowerShell | 143 | 0 | 34 | 0 |
| tlaplus-workshops/ewd998 | TLAShell | 43 | 0 | 48 | 0 |
| delta-io/delta-rs | RustPythonTLA | 1.4k | 0 | 270 | 0 |
| GerardoGran/gemini-tla-verification | TLAShellR | 2 | 0 | 2 | 0 |
| kevinsullivan/TLAPlusDocker | DockerfileTLA | 8 | 0 | 11 | 0 |
| hwayne/lets-prove-leftpad | SystemVerilogCommon LispIsabelle | 580 | 0 | 56 | 0 |
| input-output-hk/cardano-shell | HaskellTLANix | 30 | 0 | 13 | 0 |
| Vanlightly/vsr-tlaplus | TLA | 25 | 0 | 0 | 0 |