rustio rustio.net

Decision Workspace

cargo-verus

Side-by-side comparison of Rust crates

45
cargo-verus
experimentalv0.0.0

Verus: Verified Rust for low-level systems code

Core Metrics

cargo-verus
Health Score45
Total Downloads962
30d Downloads144
Dependents0
Releases1
Last Updated270d ago
Age9m

Health Breakdown

cargo-verus
Maintenance
4
Quality
15
Community
9
Popularity
4
Documentation
13

Technical Details

cargo-verus
Version0.0.0
Stable (≥1.0)✗ No
LicenseMIT
Dependencies0
Crate Size1KB
Features0
Yanked %0.0%
Edition2021
MSRV—
Owners3

Links

cargo-verus detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •cargo-verus leads with a health score of 45/100, but none of the options score above 80.