rustio rustio.net

Decision Workspace

rustproof

Side-by-side comparison of Rust crates

30
rustproof
growingv0.1.0

Compiler plugin to generate verification conditions from Rust code.

Core Metrics

rustproof
Health Score30
Total Downloads2.5K
30d Downloads3
Dependents0
Releases1
Last Updated3495d ago
Age9y 7m

Health Breakdown

rustproof
Maintenance
1
Quality
14
Community
3
Popularity
4
Documentation
8

Technical Details

rustproof
Version0.1.0
Stable (≥1.0)✗ No
LicenseApache-2.0/MIT
Dependencies5
Crate Size49KB
Features0
Yanked %0.0%
Edition—
MSRV—
Owners1

Links

rustproof detail →GitHub ↗crates.io ↗

Quick Verdict

  • •rustproof leads with a health score of 30/100, but none of the options score above 80.
  • •⚠ rustproof has not been updated in over a year.