| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| jepsen-io/jepsen | ClojureJavaShell | 6k | 0 | 685 | 0 |
| rabbitmq/osiris | ErlangTLAOther | 38 | 0 | 9 | 0 |
| tlaplus/Examples | TLATeXOther | 1.1k | 0 | 171 | 0 |
| tendermint/tendermint | GoTeXTLA | 5.5k | 0 | 2k | 0 |
| mongodb/mongo | C++JavaScriptPython | 23.5k | 0 | 5.5k | 0 |
| elastic/elasticsearch-formal-models | IsabelleTLATeX | 192 | 0 | 24 | 0 |
| dfinity/ic | RustPythonStarlark | 1.3k | 0 | 231 | 0 |
| tlaplus/tlaplus | JavaHTMLTLA | 2k | 0 | 165 | 0 |
| neondatabase/neon | RustPythonC | 7.2k | 0 | 179 | 0 |
| m3db/m3 | GoShellHTML | 4.4k | 0 | 435 | 0 |
| Vanlightly/raft-tlaplus | TLA | 40 | 0 | 2 | 0 |
| ElliotSwart/pragmaticformalmodeling | TLAHTMLSCSS | 35 | 0 | 2 | 0 |
| apollographql/router | RustTLAShell | 570 | 0 | 165 | 0 |
| hwayne/learntla-v2 | TLAPythonPowerShell | 122 | 0 | 29 | 0 |
| tlaplus-workshops/ewd998 | TLAShell | 39 | 0 | 43 | 0 |
| delta-io/delta-rs | RustPythonTLA | 973 | 0 | 188 | 0 |
| GerardoGran/gemini-tla-verification | TLAShellR | 2 | 0 | 2 | 0 |
| kevinsullivan/TLAPlusDocker | DockerfileTLA | 8 | 0 | 8 | 0 |
| hwayne/lets-prove-leftpad | SystemVerilogCommon LispIsabelle | 544 | 0 | 54 | 0 |
| input-output-hk/cardano-shell | HaskellTLANix | 31 | 0 | 13 | 0 |
| Vanlightly/vsr-tlaplus | TLA | 21 | 0 | 0 | 0 |
| skarupke/two_bit_mutex | TLAC++ | 20 | 0 | 1 | 0 |
| cometbft/cometbft | GoTeXTLA | 229 | 0 | 38 | 0 |