crates.io : libcrux-hacl-rs
Formally verified Rust code extracted from HACL* - helper library
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/libcrux-hacl-rs
Keywords:
cryptography
, encryption
, formal-verification
, signatures
License: Apache-2.0
Latest release: about 1 month ago
First release: 5 months ago
Downloads: 31,075 total
Stars: 147 on GitHub
Forks: 24 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 7 days ago
Loading...
Readme
Loading...