libcrux
The Formally Verified Cryptography Library
Activity
- Latest release
- 3w ago
- Total releases
- 17
- Cadence
- ~2 months
- Last 12 months
- 9
Reach
- Downloads
- 70.1k
Details
- License
- Apache-2.0
- First release
- Jan 10, 2023
Releases
The Formally Verified Cryptography Library