rustio rustio.net

Decision Workspace

machine-check

Side-by-side comparison of Rust crates

50
machine-check
growingv0.7.1

Formal verification tool for digital systems

Core Metrics

machine-check
Health Score50
Total Downloads23.6K
30d Downloads77
Dependents33
Releases40
Last Updated100d ago
Age2y 5m

Health Breakdown

machine-check
Maintenance
14
Quality
14
Community
5
Popularity
5
Documentation
12

Technical Details

machine-check
Version0.7.1
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies15
Crate Size62KB
Features3
Yanked %2.5%
Edition2021
MSRV1.88
Owners1

Links

machine-check detail →GitHub ↗crates.io ↗

Quick Verdict

  • •machine-check leads with a health score of 50/100, but none of the options score above 80.