rustio rustio.net

Decision Workspace

karpal-verify

Side-by-side comparison of Rust crates

47
karpal-verify
experimentalv0.4.0

External prover bridge and trust model for the Industrial Algebra ecosystem

Core Metrics

karpal-verify
Health Score47
Total Downloads14
30d Downloads14
Dependents1
Releases1
Last Updated3d ago
Age3d

Health Breakdown

karpal-verify
Maintenance
13
Quality
16
Community
7
Popularity
1
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 47/100, but none of the options score above 80.