Sign in Sign up
cargo

krabka-verified

Formally verified pure kernels (Creusot) shared by Krabka crates

cargo View on Cargo

Activity

Latest release
1w ago
Total releases
9
Cadence
~daily
Last 12 months
9

Reach

Downloads
141

Details

License
Apache-2.0
First release
Oct 08, 2026
Releases
Version Released
1.0.8 patch
1.0.7 patch
1.0.6 patch
1.0.5 patch
1.0.4 patch
1.0.3 patch
1.0.2 patch
1.0.1 patch
1.0.0 initial