rustio rustio.net

Decision Workspace

lean-rs-sys

Side-by-side comparison of Rust crates

62
lean-rs-sys
experimentalv0.1.10

Raw FFI bindings for the Lean 4 C ABI. See `lean-rs` for the safe front door.

Core Metrics

lean-rs-sys
Health Score62
Total Downloads298
30d Downloads0
Dependents39
Releases10
Last Updatedtoday
Age7d

Health Breakdown

lean-rs-sys
Maintenance
17
Quality
17
Community
10
Popularity
3
Documentation
15

Technical Details

lean-rs-sys
Version0.1.10
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies1
Crate Size40KB
Features5
Yanked %0.0%
Edition2024
MSRV1.91
Owners1

Links

lean-rs-sys detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

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