rustio rustio.net

Decision Workspace

machine-check-gui

Side-by-side comparison of Rust crates

46
machine-check-gui
growingv0.7.1

Utility crate for the formal verification tool machine-check

Core Metrics

machine-check-gui
Health Score46
Total Downloads11.3K
30d Downloads78
Dependents29
Releases28
Last Updated100d ago
Age1y

Health Breakdown

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

Technical Details

machine-check-gui
Version0.7.1
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies33
Crate Size367KB
Features1
Yanked %3.6%
Edition2021
MSRV1.88
Owners1

Links

machine-check-gui detail →GitHub ↗crates.io ↗

Quick Verdict

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