| libcrux-sha3 cargo | 0.0.11 | clean | Libcrux SHA-3 implementation | 4M | 1d ago |
| libcrux-intrinsics cargo | 0.0.9 | clean | Libcrux intrinsics crate | 4M | 1d ago |
| libcrux-platform cargo | 0.0.4 | clean | Platform detection crate for libcrux. | 4M | 1d ago |
| libcrux-traits cargo | 0.0.9 | clean | Traits for cryptographic algorithms | 4M | 1d ago |
| libcrux-secrets cargo | 0.0.7 | clean | Libcrux utilities for working with secrets | 4M | 1d ago |
| libcrux-ml-kem cargo | 0.0.11 | clean | Libcrux ML-KEM & Kyber implementations | 4M | 1d ago |
| libcrux-macros cargo | 0.0.4-pre.1 | clean | Macros needed in libcrux | 3M | 14h ago |
| libcrux-hacl-rs cargo | 0.0.6 | clean | Formally verified Rust code extracted from HACL* - helper library | 3M | 1d ago |
| libcrux-sha2 cargo | 0.0.9 | clean | Formally verified SHA2 hash library | 3M | 1d ago |
| libcrux-p256 cargo | 0.0.9 | clean | Formally verified P-256 implementation | 3M | 1d ago |
| libcrux-hmac cargo | 0.0.9 | clean | Libcrux HMAC implementation | 2M | 1d ago |
| libcrux-chacha20poly1305 cargo | 0.0.10 | clean | Formally verified ChaCha20-Poly1305 AEAD library | 2M | 1d ago |
| libcrux-poly1305 cargo | 0.0.7 | clean | Formally verified Poly1305 MAC library | 2M | 1d ago |
| libcrux-hkdf cargo | 0.0.9 | clean | Libcrux HKDF implementation | 2M | 1d ago |
| libcrux-ecdh cargo | 0.0.9 | clean | Libcrux ECDH implementation | 2M | 1d ago |
| libcrux-curve25519 cargo | 0.0.9 | clean | Formally verified curve25519 ECDH library | 2M | 1d ago |
| libcrux-kem cargo | 0.0.10 | clean | Libcrux KEM implementation | 2M | 1d ago |
| libcrux-aead cargo | 0.0.10 | clean | Formally verified AEAD library | 2M | 1d ago |
| libcrux-ed25519 cargo | 0.0.10 | clean | Formally verified ed25519 signature library | 342K | 1d ago |
| libcrux-aes cargo | 0.0.10 | clean | Libcrux AES-based AEAD implementations | 227K | 1d ago |
| libcrux-ml-dsa cargo | 0.0.11 | clean | Libcrux ML-DSA implementation | 205K | 1d ago |
| libcrux cargo | 0.0.6 | clean | The Formally Verified Cryptography Library | 70K | 1d ago |
| libcrux-hmac-drbg cargo | 0.0.2 | clean | Libcrux HMAC-DRBG implementation | 69K | 1d ago |
| libcrux-psq cargo | 0.0.11 | clean | Libcrux Pre-Shared post-Quantum key establishement protocol | 33K | 1d ago |
| libcrossterm cargo | 0.8.0 | clean | C binding library for crossterm-rs | 22K | 7h ago |
| libcrux-ecdsa cargo | 0.0.9 | clean | Formally verified ECDSA signature library | 6.3K | 1d ago |
| libc-core cargo | 0.2.5 | clean | provides the libc types | 4.6K | 7h ago |
| libcrux-rsa cargo | 0.0.9 | clean | Formally verified RSA signature library | 4.5K | 1d ago |
| libcrux-blake2 cargo | 0.0.9 | clean | Formally verified blake2 hash library | 3.8K | 1d ago |
| libcipher cargo | 0.1.4 | clean | A Rust implementation of the Advanced Encryption Standard (AES) for secure data encryption and decryption. | 2.1K | 7h ago |
