Topic Hub
#tla (5 Repositories)
Ranked open-source repositories tagged with #tla, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
71.9%
Avg Review Latency
57.4h
Filter by language
5 repositories tagged #tla
A TierJava 3.1k 1 GFIs
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
62.9%
Merge Rate
14h
First Review
25%
1st-Timers
10
Maintainers
A TierScala 609
apalache-mc/apalache
APALACHE: symbolic model checker for TLA+ and Quint
66.7%
Merge Rate
-
First Review
100%
1st-Timers
9
Maintainers
B TierRust 238
anvil-verifier/anvil
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
100.0%
Merge Rate
-
First Review
100%
1st-Timers
1
Maintainers
B TierGo 347
fizzbee-io/fizzbee
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
80.0%
Merge Rate
8d
First Review
100%
1st-Timers
1
Maintainers
B TierTypeScript 433
tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
50.0%
Merge Rate
3d
First Review
0%
1st-Timers
1
Maintainers