Decision Workspace
modelator vs tla-connect vs bolero-kani
Side-by-side comparison of Rust crates
39
modelator
growingv0.4.2
A framework and tools for model-based testing.
57
tla-connect
experimentalv0.0.4
TLA+/Apalache integration for model-based testing
53
bolero-kani
growingv0.13.0
kani plugin for bolero
Core Metrics
| modelator | tla-connect | bolero-kani | |
|---|---|---|---|
| Health Score | 39 | 57 | 53 |
| Total Downloads | 39.6K | 14.3K | 3.5M |
| 30d Downloads | 0 | 13.7K | 367.7K |
| Dependents | 32 | 9 | 14 |
| Releases | 10 | 4 | 9 |
| Last Updated | 1589d ago | 82d ago | 453d ago |
| Age | 5y 2m | 3m | 4y |
Health Breakdown
modelator
Maintenance
5
Quality
8
Community
9
Popularity
5
Documentation
12
tla-connect
Maintenance
13
Quality
15
Community
9
Popularity
5
Documentation
15
bolero-kani
Maintenance
8
Quality
17
Community
10
Popularity
8
Documentation
10
Technical Details
| modelator | tla-connect | bolero-kani | |
|---|---|---|---|
| Version | 0.4.2 | 0.0.4 | 0.13.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | Apache-2.0 | MIT OR Apache-2.0 | MIT |
| Dependencies | 20 | 14 | 1 |
| Crate Size | 61KB | 60KB | 5KB |
| Features | 0 | 7 | 3 |
| Yanked % | 10.0% | 0.0% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | 1.56 | 1.93 | — |
| Owners | 2 | 1 | 3 |
Links
Quick Verdict
- •tla-connect leads with a health score of 57/100, but none of the options score above 80.
- •bolero-kani has the most downloads (3.5M), suggesting wider adoption.
- •⚠ modelator, bolero-kani have not been updated in over a year.