rustio rustio.net

Decision Workspace

depyler-verify

Side-by-side comparison of Rust crates

64
depyler-verify
growingv4.1.1

Property verification and formal methods for Depyler transpilation

Core Metrics

depyler-verify
Health Score64
Total Downloads12.2K
30d Downloads94
Dependents49
Releases46
Last Updated40d ago
Age8m

Health Breakdown

depyler-verify
Maintenance
17
Quality
16
Community
11
Popularity
5
Documentation
15

Technical Details

depyler-verify
Version4.1.1
Stable (≥1.0)✓ Yes
LicenseMIT OR Apache-2.0
Dependencies9
Crate Size55KB
Features0
Yanked %0.0%
Edition2021
MSRV1.83
Owners1

Links

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

Quick Verdict

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