libcrux-hacl-rs
v0.0.5crates.io· RustFormally verified Rust code extracted from HACL* - helper library
The verdict
Worth a look. Actively maintained and growing, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityRising
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
36K downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0
Dependencies
No runtime dependencies
Recent releases
- 0.0.5this month
- 0.0.5-rc.1this month
- 0.0.47 months ago
- 0.0.4-pre.17 months ago
- 0.0.311 months ago
- 0.0.3-alpha.311 months ago
- 0.0.3-alpha.212 months ago
- 0.0.3-alpha.1over a year ago