Topic Hub
#tla (4 Repositories)
Ranked open-source repositories tagged with #tla, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
39.1%
Avg Review Latency
11.8h
Filter by language
4 repositories tagged #tla
A TierScala 592
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
67.4%
Merge Rate
2d
First Review
86%
1st-Timers
8
Maintainers
B TierGo 345
fizzbee-io/fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
88.9%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierRust 202
anvil-verifier/anvil
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierTypeScript 433
tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers