rustio rustio.net

Decision Workspace

maw-assurance

Side-by-side comparison of Rust crates

50
maw-assurance
experimentalv0.61.0

Formal-verification primitives for maw — oracle, model, and Stateright integration

Core Metrics

maw-assurance
Health Score50
Total Downloads119
30d Downloads0
Dependents8
Releases8
Last Updated8d ago
Age1m

Health Breakdown

maw-assurance
Maintenance
15
Quality
15
Community
8
Popularity
2
Documentation
10

Technical Details

maw-assurance
Version0.61.0
Stable (≥1.0)✗ No
LicenseMIT
Dependencies4
Crate Size27KB
Features3
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

maw-assurance detail →GitHub ↗crates.io ↗

Quick Verdict

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