rustio rustio.net

Decision Workspace

ephapax-proven

Side-by-side comparison of Rust crates

40
ephapax-proven
experimentalv0.1.0

Safe Rust wrappers for formally verified Proven library via pure Zig FFI

Core Metrics

ephapax-proven
Health Score40
Total Downloads16
30d Downloads3
Dependents0
Releases1
Last Updated62d ago
Age2m

Health Breakdown

ephapax-proven
Maintenance
9
Quality
16
Community
6
Popularity
1
Documentation
8

Technical Details

ephapax-proven
Version0.1.0
Stable (≥1.0)✗ No
Licensenon-standard
Dependencies1
Crate Size35KB
Features2
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

ephapax-proven detail →GitHub ↗crates.io ↗

Quick Verdict

  • •ephapax-proven leads with a health score of 40/100, but none of the options score above 80.