rustio rustio.net

Decision Workspace

sha2-fv

Side-by-side comparison of Rust crates

50
sha2-fv
experimentalv0.1.0

Formally verified Pure Rust implementation of the SHA-2 hash function family (SHA-224, SHA-256, SHA-384, SHA-512, SHA-512/224, SHA-512/256), with Lean 4 proofs of correctness against FIPS 180-4.

Core Metrics

sha2-fv
Health Score50
Total Downloads20
30d Downloads0
Dependents0
Releases1
Last Updated46d ago
Age1m

Health Breakdown

sha2-fv
Maintenance
10
Quality
17
Community
6
Popularity
2
Documentation
15

Technical Details

sha2-fv
Version0.1.0
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies2
Crate Size99KB
Features8
Yanked %0.0%
Edition2024
MSRV1.85
Owners1

Links

sha2-fv detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

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