| libcrux-sha3 cargo | 0.0.11 | clean | Libcrux SHA-3 implementation | 4M | 22h ago |
| libcrux-intrinsics cargo | 0.0.9 | clean | Libcrux intrinsics crate | 4M | 22h ago |
| libcrux-platform cargo | 0.0.4 | clean | Platform detection crate for libcrux. | 4M | 22h ago |
| ra_ap_stdx cargo | | not built 0.0.357 did not build | Missing batteries for standard libraries for rust-analyzer. | 4M | 2d ago |
| libcrux-traits cargo | 0.0.9 | clean | Traits for cryptographic algorithms | 4M | 22h ago |
| oxc_ast_visit cargo | | not built 0.153.0 did not build | A collection of JavaScript tools written in Rust. | 4M | 2d ago |
| libcrux-secrets cargo | 0.0.7 | clean | Libcrux utilities for working with secrets | 4M | 22h ago |
| libcrux-ml-kem cargo | 0.0.11 | clean | Libcrux ML-KEM & Kyber implementations | 4M | 22h ago |
| lance-index cargo | | not built 13.0.0 did not build | Lance indices implementation | 4M | 21h ago |
| sc-executor cargo | 0.51.0 | clean | A crate that provides means of executing/dispatching calls into the runtime. | 4M | 13h ago |
| ra_ap_syntax cargo | | not built 0.0.357 did not build | Concrete syntax tree definitions for rust-analyzer. | 3M | 2d ago |
| oxc_codegen cargo | | not built 0.153.0 did not build | A collection of JavaScript tools written in Rust. | 3M | 2d ago |
| private-gemm-x86 cargo | 0.1.22 | clean | x86-64 matmul impl | 3M | 2d ago |
| libcrux-macros cargo | 0.0.4-pre.1 | clean | Macros needed in libcrux | 3M | 3h ago |
| libcrux-hacl-rs cargo | 0.0.6 | clean | Formally verified Rust code extracted from HACL* - helper library | 3M | 22h ago |
| libcrux-sha2 cargo | 0.0.9 | clean | Formally verified SHA2 hash library | 3M | 22h ago |
| watchexec-filterer-ignore cargo | 7.0.6 | clean | Watchexec filterer component for ignore files | 3M | 1d ago |
| indextree cargo | 4.9.2 | clean | Arena based tree structure by using indices instead of reference counted pointers | 3M | 1d ago |
| libcrux-p256 cargo | 0.0.9 | clean | Formally verified P-256 implementation | 3M | 22h ago |
| libcrux-hmac cargo | 0.0.9 | clean | Libcrux HMAC implementation | 2M | 22h ago |
| libcrux-chacha20poly1305 cargo | 0.0.10 | clean | Formally verified ChaCha20-Poly1305 AEAD library | 2M | 22h ago |
| libcrux-poly1305 cargo | 0.0.7 | clean | Formally verified Poly1305 MAC library | 2M | 22h ago |
| libcrux-hkdf cargo | 0.0.9 | clean | Libcrux HKDF implementation | 2M | 22h ago |
| libxml cargo | 0.3.22 | clean | A Rust wrapper for libxml2 - the XML C parser and toolkit developed for the Gnome project | 2M | 16h ago |
| libcrux-ecdh cargo | 0.0.9 | clean | Libcrux ECDH implementation | 2M | 22h ago |
| libcrux-curve25519 cargo | 0.0.9 | clean | Formally verified curve25519 ECDH library | 2M | 22h ago |
| libcrux-kem cargo | 0.0.10 | clean | Libcrux KEM implementation | 2M | 22h ago |
| hpke-rs-libcrux cargo | 0.8.0 | clean | Crypto backend for HPKE using formally verified code from libcrux. | 2M | 22h ago |
| libcrux-aead cargo | 0.0.10 | clean | Formally verified AEAD library | 2M | 22h ago |
| watchexec-supervisor cargo | 6.0.0 | clean | Watchexec's process supervisor component | 2M | 1d ago |
