Sign in Sign up
cargo

lean-rs-worker-protocol

Wire protocol and shared value types for the lean-rs worker process boundary.

Latest release
18h ago
Releases
14
Known CVEs
0
First release
May 25, 2026
License
MIT OR Apache-2.0
View on Cargo
Repository

Source

jcreinhold/lean-rs
Stars
Forks
Open issues

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

Insights

Activity

Total releases
14
Last 12 months
14
Cadence
~daily
Dependencies
3

Releases per month

last 12 months

Release mix

  • minor 1
  • patch 12
14 releases
Releases
Version Released
0.2.1 patch
0.2.0 minor
0.1.20 patch
0.1.19 patch
0.1.18 patch
0.1.17 patch
0.1.16 patch
0.1.15 patch
0.1.14 patch
0.1.13 patch
0.1.12 patch
0.1.11 patch
0.1.10 patch
0.1.8 initial