rustio rustio.net

Decision Workspace

crack

Side-by-side comparison of Rust crates

28
crack
growingv0.1.0

verify distributed and lock-free algorithms through symbolic execution

Core Metrics

crack
Health Score28
Total Downloads2.3K
30d Downloads3
Dependents0
Releases1
Last Updated3158d ago
Age8y 7m

Health Breakdown

crack
Maintenance
1
Quality
12
Community
3
Popularity
4
Documentation
8

Technical Details

crack
Version0.1.0
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies19
Crate Size10KB
Features0
Yanked %0.0%
Edition—
MSRV—
Owners1

Links

crack detail →Docs ↗crates.io ↗

Quick Verdict

  • •crack leads with a health score of 28/100, but none of the options score above 80.
  • •⚠ crack has not been updated in over a year.