| libcrux-sha3 cargo | 0.0.11 | none | none | Libcrux SHA-3 implementation | 4M | 8d ago |
| libcrux-intrinsics cargo | 0.0.9 | none | none | Libcrux intrinsics crate | 4M | 8d ago |
| libcrux-platform cargo | 0.0.4 | none | none | Platform detection crate for libcrux. | 4M | 8d ago |
| libcrux-traits cargo | 0.0.9 | none | none | Traits for cryptographic algorithms | 4M | 8d ago |
| libcrux-secrets cargo | 0.0.7 | none | none | Libcrux utilities for working with secrets | 4M | 8d ago |
| libcrux-ml-kem cargo | 0.0.11 | none | none | Libcrux ML-KEM & Kyber implementations | 4M | 8d ago |
| libcrux-macros cargo | 0.0.4-pre.1 | none | none | Macros needed in libcrux | 3M | 8d ago |
| libcrux-hacl-rs cargo | 0.0.6 | none | none | Formally verified Rust code extracted from HACL* - helper library | 3M | 8d ago |
| libcrux-sha2 cargo | 0.0.9 | none | none | Formally verified SHA2 hash library | 3M | 8d ago |
| libcrux-p256 cargo | 0.0.9 | none | none | Formally verified P-256 implementation | 3M | 8d ago |
| libcrux-hmac cargo | 0.0.9 | none | none | Libcrux HMAC implementation | 2M | 8d ago |
| libcrux-chacha20poly1305 cargo | 0.0.10 | none | none | Formally verified ChaCha20-Poly1305 AEAD library | 2M | 8d ago |
| libcrux-poly1305 cargo | 0.0.7 | none | none | Formally verified Poly1305 MAC library | 2M | 8d ago |
| libcrux-hkdf cargo | 0.0.9 | none | none | Libcrux HKDF implementation | 2M | 8d ago |
| libcrux-ecdh cargo | 0.0.9 | none | none | Libcrux ECDH implementation | 2M | 8d ago |
| libcrux-curve25519 cargo | 0.0.9 | none | none | Formally verified curve25519 ECDH library | 2M | 8d ago |
| libcrux-kem cargo | 0.0.10 | none | none | Libcrux KEM implementation | 2M | 8d ago |
| hpke-rs-libcrux cargo | 0.8.0 | none | none | Crypto backend for HPKE using formally verified code from libcrux. | 2M | 8d ago |
| libcrux-aead cargo | 0.0.10 | none | none | Formally verified AEAD library | 2M | 8d ago |
| libcrux-ed25519 cargo | 0.0.10 | none | none | Formally verified ed25519 signature library | 342K | 8d ago |
| libcrux-aes cargo | 0.0.10 | none | none | Libcrux AES-based AEAD implementations | 227K | 8d ago |
| libcrux-ml-dsa cargo | 0.0.11 | none | none | Libcrux ML-DSA implementation | 205K | 8d ago |
| libcrux cargo | 0.0.6 | none | none | The Formally Verified Cryptography Library | 70K | 8d ago |
| libcrux-hmac-drbg cargo | 0.0.2 | none | none | Libcrux HMAC-DRBG implementation | 69K | 8d ago |
| libcrux-psq cargo | 0.0.11 | none | none | Libcrux Pre-Shared post-Quantum key establishement protocol | 33K | 8d ago |
| libcrux-ecdsa cargo | 0.0.9 | none | none | Formally verified ECDSA signature library | 6.3K | 8d ago |
| libcrux-rsa cargo | 0.0.9 | none | none | Formally verified RSA signature library | 4.5K | 8d ago |
| libcrux-blake2 cargo | 0.0.9 | none | none | Formally verified blake2 hash library | 3.8K | 8d ago |
| libcrux-digest cargo | 0.0.10 | none | none | Digest library | 710 | 8d ago |
| libcrux-kmac cargo | 0.0.2 | none | none | Libcrux KMAC implementation | 224 | 8d ago |
