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 |