AlphaUncommon
celabshq/libcrux
The formally verified crypto library for Rust
- Owner
- celabshq (organization)
- Stars
- Stars: 271
- Forks
- Forks: 65
- Language
- C
- License
- Apache-2.0
- Created
- 2022
- Topics
- cryptographyencryptionformal-verificationsignatures
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in C
All C repos- nlzy/nsproxyStars: 271CAlpha
- carlk3/no-OS-FatFS-SD-SDIO-SPI-RPi-PicoStars: 271CAlpha
- MicroLua/MicroLuaStars: 271CAlpha
- sqlp/sedumiStars: 271CAlpha
- chameco/SolidStars: 271CAlpha
- tiehuis/2048-cliStars: 271CAlpha