rustio rustio.net

Decision Workspace

decy-verify

Side-by-side comparison of Rust crates

58
decy-verify
experimentalv2.1.0

Safety property verification for transpiled Rust code

Core Metrics

decy-verify
Health Score58
Total Downloads1.3K
30d Downloads62
Dependents10
Releases6
Last Updated41d ago
Age5m

Health Breakdown

decy-verify
Maintenance
17
Quality
15
Community
9
Popularity
4
Documentation
13

Technical Details

decy-verify
Version2.1.0
Stable (≥1.0)✓ Yes
LicenseMIT OR Apache-2.0
Dependencies10
Crate Size25KB
Features0
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

decy-verify detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •decy-verify leads with a health score of 58/100, but none of the options score above 80.