rustio rustio.net

Decision Workspace

arcanum-verify

Side-by-side comparison of Rust crates

47
arcanum-verify
experimentalv0.1.2

Formal verification and timing analysis tools for the Arcanum cryptographic engine

Core Metrics

arcanum-verify
Health Score47
Total Downloads57
30d Downloads0
Dependents0
Releases3
Last Updated120d ago
Age4m

Health Breakdown

arcanum-verify
Maintenance
13
Quality
14
Community
6
Popularity
2
Documentation
12

Technical Details

arcanum-verify
Version0.1.2
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies12
Crate Size27KB
Features4
Yanked %0.0%
Edition2024
MSRV1.89
Owners1

Links

arcanum-verify detail →GitHub ↗crates.io ↗

Quick Verdict

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