rustio rustio.net

Decision Workspace

lean-rs-interop-shims

Side-by-side comparison of Rust crates

49
lean-rs-interop-shims
experimentalv0.3.0

Package-owned Lean source payload for the generic lean-rs interop shims.

Core Metrics

lean-rs-interop-shims
Health Score49
Total Downloads101
30d Downloads0
Dependents1
Releases5
Last Updated24d ago
Age1m

Health Breakdown

lean-rs-interop-shims
Maintenance
11
Quality
14
Community
7
Popularity
2
Documentation
15

Technical Details

lean-rs-interop-shims
Version0.3.0
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies2
Crate Size14KB
Features0
Yanked %0.0%
Edition2024
MSRV1.91
Owners1

Links

lean-rs-interop-shims detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •lean-rs-interop-shims leads with a health score of 49/100, but none of the options score above 80.