libcrux-hkdf cargo 0.0.9 none none Libcrux HKDF implementation 2M 13d ago libcrux-chacha20poly1305 cargo 0.0.10 none none Formally verified ChaCha20-Poly1305 AEAD library 2M 13d ago libcrux-hmac cargo 0.0.9 none none Libcrux HMAC implementation 2M 13d ago libcrux-intrinsics cargo 0.0.9 none none Libcrux intrinsics crate 4M 13d ago libcrux-poly1305 cargo 0.0.7 none none Formally verified Poly1305 MAC library 2M 13d ago libcrux-sha2 cargo 0.0.9 none none Formally verified SHA2 hash library 3M 13d ago libcrux-sha3 cargo 0.0.11 none none Libcrux SHA-3 implementation 4M 13d ago libcrux-secrets cargo 0.0.7 none none Libcrux utilities for working with secrets 4M 13d ago libcrux-traits cargo 0.0.9 none none Traits for cryptographic algorithms 4M 13d ago libcrux-ml-kem cargo 0.0.11 none none Libcrux ML-KEM & Kyber implementations 4M 13d ago libcrux-hacl-rs cargo 0.0.6 none none Formally verified Rust code extracted from HACL* - helper library 3M 13d ago libcrux-platform cargo 0.0.4 none none Platform detection crate for libcrux. 4M 13d ago openhub-bo-qr cargo 0.1.0 none none QR Simple / QR MLD-BCB collections for the Red Enlace (ATC) OpenHub APIs 8 13d ago crabcode cargo 0.0.14 none 5 Rust AI CLI Coding Agent with a beautiful terminal UI 390 13d ago rskrb5-patched cargo 0.2.1 none none Temporary patched fork of rskrb5: upstream main at 6f4abc9 plus the fixes awaiting upstream (see FORK-NOTES.md) - verbatim result bytes, environment-free… 30 2026-10-06 oxideav-dds cargo 0.0.6 none none Pure-Rust DDS (DirectDraw Surface) reader/writer for oxideav — uncompressed RGBA/RGB/luminance roundtrip plus block-compressed (DXT1/3/5, BC4/5/6H/7)… 597 2026-10-06 oxideav-tiff cargo 0.0.9 none none Pure-Rust TIFF 6.0 image decoder + encoder + container for oxideav… 340 2026-10-06 sails-cmd-bc cargo 0.1.0 none none 2026-10-06 kcode-k1-web-code-service-testkit cargo 0.1.1 none none Stateful conformance for the persistent K1 WebCode service 21 2026-10-06 sedona-adbc cargo – 0.5.0 did not build – Apache SedonaDB Rust API 100 2026-10-06 kcode-k1-chat-thread-web-code-tasks-testkit cargo 0.3.0 none none Downstream conformance for persistent K1 Chat WebCode tasks 25 2026-10-06 kcode-k1-chat-thread-session-code-runtime cargo 0.1.8 none none Concrete RustCode and WebCode lane runtime for one K1 chat thread 453 2026-10-06 bckwe cargo 0.1.0 none none A no_std zero-dependency stack machine for B, C, K, W combinators with external effects. 6 2026-10-06 kcode-k1-daemon-code-services cargo 0.1.11 none none Open the daemon's process-owned RustCode and WebCode services 258 2026-10-05 kcode-k1-chat-thread-session-web-code-runtime cargo 0.2.1 none none Conversation-local WebCode lane runtime for one K1 chat thread 412 2026-10-05 kcode-k1-chat-thread-web-code-tasks-fixture cargo – – Deterministic Chat-history harness for persistent K1 WebCode tasks 51 2026-10-05 kcode-k1-chat-thread-web-code-tasks cargo 0.3.0 none none Conversation-local ordered K1 Chat WebCode tasks 468 2026-10-05 kcode-k1-chat-thread-web-code-service-execution cargo 0.3.0 none none Stateless service execution for K1 Chat WebCode tasks 479 2026-10-05 kcode-k1-chat-thread-web-code-call-preparation cargo 0.3.0 none none Pure call preparation for K1 Chat WebCode tasks 483 2026-10-05 kcode-k1-chat-thread-web-code-errors cargo 0.3.0 none none Pure model-facing error outputs for K1 Chat WebCode tasks 495 2026-10-05 