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