rustio rustio.net
48

lean-rs-worker-child

v0.1.10 Experimental

Child-process runtime for the lean-rs worker boundary.

MIT OR Apache-2.0 Edition 2024 MSRV 1.91
API bindings #worker#runtime#ipc#lean#lean4

Quick Verdict

  • โœ“Actively maintained (updated 0d ago)
  • !Pre-1.0: API may have breaking changes
  • โœ“Permissive license (MIT OR Apache-2.0)

Security

Checking security advisories...
Downloads
19
Dependents
0
Releases
2
Size
71KB

Deep Insights

๐Ÿ“Š
Download activity

19 downloads in the last 30 days (1/day avg).

Health Breakdown

Maintenance 14/25

Recency, release consistency, active ratio

Quality 12/25

Yanked ratio, deps, size, maturity, features

Community 5/20

Reverse deps, ownership, ecosystem

Popularity 2/15

Downloads, momentum, growth trend

Documentation 15/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
0/day avg
02/263/164/34/215/95/26

Version Adoption

v0.1.8
53%
v0.1.10
47%

Release Timeline

2 releasessince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
2
Less
More

README

Loading README...

Maintainers

Dependencies
13
direct dependencies
Dependents
0
crates depend on lean-rs-worker-child

Similar Crates