lean-rs

Stars

—

Forks

—

Open issues

—

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

• lean-rs-abi
• lean-rs-host
• lean-rs-interop-shims
• lean-rs-sys
• lean-rs-worker-child
• lean-rs-worker-parent
• lean-rs-worker-protocol
• lean-toolchain

Activity

Total releases

22

Last 12 months

22

Cadence

~daily

Dependencies

11

Release mix

• criterion ^0.8 dev
• dhat ^0.3 dev
• lean-rs-sys ^0.2.1
• lean-toolchain ^0.2.1
• libloading ^0.8
• object ^0.36
• serde_json ^1
• tracing ^0.1
• tracing-subscriber ^0.3
• tracing-subscriber ^0.3 dev

• lean-rs-worker-child
• lean-rs-host