BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

leanr-wasm

v0.1.0crates.io· Rust

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

The verdict
Aging — last published 7 months ago — check before adopting. Check the repo for activity before adopting.
Check the repo for activity before adopting.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceAging
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published 7 months ago — check before adopting.
Popularity
0 downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0
Dependencies
No runtime dependencies
Recent releases
  • 0.1.07 months ago
leanr-wasm — WebAssembly bindings for lean-agentic: hash-consed dependent types in the browser (Rust / crates.io) — verdict, alternatives & security · Modules