rustio rustio.net

Decision Workspace

leanr-wasm

Side-by-side comparison of Rust crates

41
leanr-wasm
experimentalv0.1.0

WebAssembly bindings for lean-agentic: hash-consed dependent types in the browser

Core Metrics

leanr-wasm
Health Score41
Total Downloads216
30d Downloads3
Dependents0
Releases1
Last Updated153d ago
Age5m

Health Breakdown

leanr-wasm
Maintenance
6
Quality
13
Community
6
Popularity
3
Documentation
13

Technical Details

leanr-wasm
Version0.1.0
Stable (≥1.0)✗ No
LicenseApache-2.0
Dependencies5
Crate Size4KB
Features0
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

leanr-wasm detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •leanr-wasm leads with a health score of 41/100, but none of the options score above 80.