rustio rustio.net

Decision Workspace

vstd

Side-by-side comparison of Rust crates

65
vstd
growingv0.0.0-2026-03-22-0106

Verus Standard Library: Useful specifications and lemmas for verifying Rust code

Core Metrics

vstd
Health Score65
Total Downloads32.7K
30d Downloads21.3K
Dependents15
Releases23
Last Updated6d ago
Age1y 9m

Health Breakdown

vstd
Maintenance
19
Quality
16
Community
12
Popularity
5
Documentation
13

Technical Details

vstd
Version0.0.0-2026-03-22-0106
Stable (≥1.0)✗ No
LicenseMIT
Dependencies3
Crate Size247KB
Features6
Yanked %4.3%
Edition2021
MSRV—
Owners4

Links

vstd detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •vstd leads with a health score of 65/100, but none of the options score above 80.