rustio rustio.net

Decision Workspace

karpal-verify

Side-by-side comparison of Rust crates

44
karpal-verify
experimentalv0.4.0

External prover bridge and trust model for the Industrial Algebra ecosystem

Core Metrics

karpal-verify
Health Score44
Total Downloads51
30d Downloads0
Dependents1
Releases1
Last Updated62d ago
Age2m

Health Breakdown

karpal-verify
Maintenance
9
Quality
16
Community
7
Popularity
2
Documentation
10

Technical Details

karpal-verify
Version0.4.0
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies2
Crate Size43KB
Features4
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

karpal-verify detail →GitHub ↗crates.io ↗

Quick Verdict

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