Decision Workspace
fibril_verifier vs stateright vs fibril_core
Side-by-side comparison of Rust crates
40
fibril_verifier
growingv0.0.12
Verifies behavior for distributed systems implemented with the Fibril library.
46
stateright
growingv0.31.0
A model checker for implementing distributed systems.
46
fibril_core
growingv0.0.7
Core types for the Fibril library.
Core Metrics
| fibril_verifier | stateright | fibril_core | |
|---|---|---|---|
| Health Score | 40 | 46 | 46 |
| Total Downloads | 15.8K | 14.1M | 10.9K |
| 30d Downloads | 17 | 657.2K | 47 |
| Dependents | 0 | 67 | 22 |
| Releases | 13 | 52 | 8 |
| Last Updated | 1027d ago | 243d ago | 1027d ago |
| Age | 3y 2m | 7y 8m | 3y 3m |
Health Breakdown
fibril_verifier
Maintenance
6
Quality
13
Community
6
Popularity
5
Documentation
10
stateright
Maintenance
10
Quality
7
Community
11
Popularity
8
Documentation
10
fibril_core
Maintenance
4
Quality
17
Community
10
Popularity
5
Documentation
10
Technical Details
| fibril_verifier | stateright | fibril_core | |
|---|---|---|---|
| Version | 0.0.12 | 0.31.0 | 0.0.7 |
| Stable (≥1.0) | ✗ No | ✗ No | ✗ No |
| License | MIT OR Apache-2.0 | MIT | MIT OR Apache-2.0 |
| Dependencies | 8 | 16 | 2 |
| Crate Size | 27KB | 293KB | 3KB |
| Features | 0 | 0 | 3 |
| Yanked % | 0.0% | 15.4% | 0.0% |
| Edition | 2021 | 2021 | 2021 |
| MSRV | — | — | — |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •stateright leads with a health score of 46/100, but none of the options score above 80.
- •⚠ fibril_verifier, fibril_core have not been updated in over a year.