Decision Workspace
traceforge-macros vs traceforge vs kani-verifier
Side-by-side comparison of Rust crates
44
traceforge-macros
experimentalv0.1.0
TraceForge is a model checker for concurrent and distributed programs written in Rust
42
traceforge
experimentalv0.2.0
TraceForge is a model checker for concurrent and distributed programs written in Rust
65
kani-verifier
growingv0.67.0
A bit-precise model checker for Rust.
Core Metrics
| traceforge-macros | traceforge | kani-verifier | |
|---|---|---|---|
| Health Score | 44 | 42 | 65 |
| Total Downloads | 13 | 11 | 310.8K |
| 30d Downloads | 13 | 11 | 19.0K |
| Dependents | 1 | 0 | 116 |
| Releases | 1 | 1 | 69 |
| Last Updated | 4d ago | 4d ago | 70d ago |
| Age | 4d | 4d | 4y 2m |
Health Breakdown
traceforge-macros
Maintenance
13
Quality
13
Community
7
Popularity
1
Documentation
10
traceforge
Maintenance
13
Quality
12
Community
6
Popularity
1
Documentation
10
kani-verifier
Maintenance
16
Quality
14
Community
15
Popularity
7
Documentation
13
Technical Details
| traceforge-macros | traceforge | kani-verifier | |
|---|---|---|---|
| Version | 0.1.0 | 0.2.0 | 0.67.0 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | Apache-2.0 | Apache-2.0 | MIT OR Apache-2.0 |
| Dependencies | 4 | 25 | 3 |
| Crate Size | 5KB | 196KB | 29KB |
| Features | 0 | 4 | 0 |
| Yanked % | 0.0% | 0.0% | 1.5% |
| Edition | 2021 | 2021 | 2024 |
| MSRV | — | — | — |
| Owners | 1 | 1 | 4 (team) |
Links
Quick Verdict
- •kani-verifier leads with a health score of 65/100, but none of the options score above 80.
- •kani-verifier is depended on by 116 crates — strongest ecosystem trust.