| cuvs-sys cargo | | – 26.10.0 did not build | – | Low-level FFI bindings for the cuVS C API (libcuvs_c) | 9.9K | 12d ago |
| glibrs cargo | 0.1.0 | none | none | Reserved, to avoid name confusion with https://github.com/glib-rs/glib_rs, a potential replacement of (parts of) glibc on Linux | 1.5K | 12d ago |
| glib_rs cargo | 0.1.0 | none | none | Reserved, to avoid name confusion with https://github.com/glib-rs/glib_rs, a potential replacement of (parts of) glibc on Linux | 1.6K | 12d ago |
| bitflags-core cargo | | – 0.3.4 did not build | – | A fork of rust-lang-nursery/bitflags that uses libcore, not libstd | 5.8K | 12d ago |
| bchannel cargo | 0.0.10 | none | none | A better channel API | 22K | 12d ago |
| libcrux-macros cargo | 0.0.4-pre.1 | none | none | Macros needed in libcrux | 3M | 12d ago |
| tauri-nspanel cargo | | – 2.1.1 did not build | – | A plugin for subclassing Tauri's NSWindow to NSPanel | 3.4K | 12d ago |
| clepsydre-eds-sys cargo | | – 0.2.0 did not build | – | FFI bindings for libclepsydre-eds | 101 | 12d ago |
| clepsydre-sys cargo | | – 0.2.0 did not build | – | FFI bindings for libclepsydre | 207 | 12d ago |
| clepsydre-rebind cargo | | – 0.2.0 did not build | – | Safe bindings for libclepsydre | 168 | 12d ago |
| libcrux-p384 cargo | 0.0.1 | none | none | Libcrux P-384 implementation | 15 | 13d ago |
| libcrux-nist-kdf cargo | 0.0.1 | none | none | Libcrux NIST KDF implementations. | 11 | 13d ago |
| libcrux-kmac cargo | 0.0.2 | none | none | Libcrux KMAC implementation | 224 | 13d ago |
| epics-libcom-rs cargo | 0.31.0 | none | none | EPICS libCom for Rust — task seam, thread priority bands, errlog, environment and time primitives, and the protocols' shared socket layer | 1.7K | 13d ago |
| libcrux-digest cargo | 0.0.10 | none | none | Digest library | 710 | 13d ago |
| libcrux-rsa cargo | 0.0.9 | none | none | Formally verified RSA signature library | 4.5K | 13d ago |
| libcrux-ecdsa cargo | 0.0.9 | none | none | Formally verified ECDSA signature library | 6.3K | 13d ago |
| libcrux-blake2 cargo | 0.0.9 | none | none | Formally verified blake2 hash library | 3.8K | 13d ago |
| libcrux-hmac-drbg cargo | 0.0.2 | none | none | Libcrux HMAC-DRBG implementation | 69K | 13d ago |
| libcrux-psq cargo | 0.0.11 | none | none | Libcrux Pre-Shared post-Quantum key establishement protocol | 33K | 13d ago |
| libcrux cargo | 0.0.6 | none | none | The Formally Verified Cryptography Library | 70K | 13d ago |
| libcrux-aes cargo | 0.0.10 | none | none | Libcrux AES-based AEAD implementations | 227K | 13d ago |
| libcrux-ed25519 cargo | 0.0.10 | none | none | Formally verified ed25519 signature library | 342K | 13d ago |
| hpke-rs-libcrux cargo | 0.8.0 | none | none | Crypto backend for HPKE using formally verified code from libcrux. | 2M | 13d ago |
| libcrux-ml-dsa cargo | 0.0.11 | none | none | Libcrux ML-DSA implementation | 205K | 13d ago |
| libcrux-aead cargo | 0.0.10 | none | none | Formally verified AEAD library | 2M | 13d ago |
| libcrux-curve25519 cargo | 0.0.9 | none | none | Formally verified curve25519 ECDH library | 2M | 13d ago |
| libcrux-kem cargo | 0.0.10 | none | none | Libcrux KEM implementation | 2M | 13d ago |
| libcrux-ecdh cargo | 0.0.9 | none | none | Libcrux ECDH implementation | 2M | 13d ago |
| libcrux-p256 cargo | 0.0.9 | none | none | Formally verified P-256 implementation | 3M | 13d ago |
