rustio rustio.net

Decision Workspace

t4-verified

Side-by-side comparison of Rust crates

39
t4-verified
experimentalv0.1.3

Verus specifications and proofs for the t4 storage model.

Core Metrics

t4-verified
Health Score39
Total Downloads115
30d Downloads117
Dependents1
Releases1
Last Updated24d ago
Age24d

Health Breakdown

t4-verified
Maintenance
11
Quality
14
Community
2
Popularity
2
Documentation
10

Technical Details

t4-verified
Version0.1.3
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies1
Crate Size9KB
Features0
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

t4-verified detail →GitHub ↗crates.io ↗

Quick Verdict

  • •t4-verified leads with a health score of 39/100, but none of the options score above 80.