4 releases
| 0.0.2-pre.2 | Dec 1, 2023 |
|---|---|
| 0.0.2-pre.1 | Sep 25, 2023 |
| 0.0.1 | Jun 13, 2023 |
| 0.0.1-dev.1 | Mar 20, 2023 |
#53 in #formal-verification
895 downloads per month
Used in libcrux
1MB
57K
SLoC
libjade Rust
Rust bindings for libjade.
This is a -sys crate that should not be used on its own.
Please check out libcrux if you want to use libjade code in your Rust project.
No runtime deps
~0–430KB