BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us

libcrux

v0.0.4crates.io· Rust

The Formally Verified Cryptography Library

The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
424 downloads / week
Security
No known advisories for this version (OSV).
License
Apache-2.0
Dependencies
No runtime dependencies
Recent releases
  • 0.0.4this month
  • 0.0.4-rc.2this month
  • 0.0.4-rc.1this month
  • 0.0.33 months ago
  • 0.0.3-rc.13 months ago
  • 0.0.2-alpha.3over a year ago
  • 0.0.2-pre.22 years ago
  • 0.0.2-pre.12 years ago
libcrux — The Formally Verified Cryptography Library (Rust / crates.io) — verdict, alternatives & security · Modules