| mimic-browser cargo | 0.1.1 | none | none | Typed Mimic extensions and verified native runtime management beside existing automation clients | 16 | 10d ago |
| knos-oidc-interface cargo | 0.3.14 | none | none | Read a GitHub Actions or GitLab CI OIDC token that the knos-oidc program verified on Solana. No dependencies. | 65 | 11d ago |
| parkring cargo | 0.4.0 | none | none | Bounded MPMC queues (Vyukov and SCQ), a Chase-Lev work-stealing deque and a work-stealing thread pool, with futex-based parking, verified with loom and Miri. | 24 | 11d ago |
| libxml-rs cargo | 0.1.0-alpha.60 | none | none | Native-Rust forensic reimplementation of libxml2+libxslt with C ABI drop-in replacement. Cross-version oracle matrix (libxml2 2.7.8-2.15.3, libxslt… | 901 | 11d ago |
| codewhale-cloud-facts cargo | | – 0.10.1 did not build | – | Fetch + verified disk cache for the Codewhale cloud facts channel (facts/v1) | 347 | 11d ago |
| autumn-plugin-slack cargo | 0.2.0 | none | none | Slack plugin for autumn-web: verified Events API, slash commands, interactivity, and a Web API client | 20 | 11d ago |
| polyc-query cargo | | – 2026.10.1 did not build | – | The Query plane's read model: a DataFusion engine over signed projection artifacts, behind a verified credential. | 438 | 12d ago |
| libcrux-rsa cargo | 0.0.9 | none | none | Formally verified RSA signature library | 4.5K | 12d ago |
| libcrux-ecdsa cargo | 0.0.9 | none | none | Formally verified ECDSA signature library | 6.3K | 12d ago |
| libcrux-blake2 cargo | 0.0.9 | none | none | Formally verified blake2 hash library | 3.8K | 12d ago |
| libcrux cargo | 0.0.6 | none | none | The Formally Verified Cryptography Library | 70K | 12d ago |
| libcrux-ed25519 cargo | 0.0.10 | none | none | Formally verified ed25519 signature library | 342K | 12d ago |
| hpke-rs-libcrux cargo | 0.8.0 | none | none | Crypto backend for HPKE using formally verified code from libcrux. | 2M | 12d ago |
| libcrux-aead cargo | 0.0.10 | none | none | Formally verified AEAD library | 2M | 12d ago |
| libcrux-curve25519 cargo | 0.0.9 | none | none | Formally verified curve25519 ECDH library | 2M | 12d ago |
| libcrux-p256 cargo | 0.0.9 | none | none | Formally verified P-256 implementation | 3M | 12d ago |
| libcrux-chacha20poly1305 cargo | 0.0.10 | none | none | Formally verified ChaCha20-Poly1305 AEAD library | 2M | 12d ago |
| libcrux-poly1305 cargo | 0.0.7 | none | none | Formally verified Poly1305 MAC library | 2M | 12d ago |
| libcrux-sha2 cargo | 0.0.9 | none | none | Formally verified SHA2 hash library | 3M | 12d ago |
| libcrux-hacl-rs cargo | 0.0.6 | none | none | Formally verified Rust code extracted from HACL* - helper library | 3M | 12d ago |
| crabka-verified cargo | 0.4.1 | none | none | Formally verified pure kernels (Creusot) shared by Crabka's consensus and log crates | 179 | 12d ago |
| cargo-oil cargo | 0.3.1 | none | none | Oak Oil: lean, fast Rust builds. A Cargo-compatible build executor and content store, with verified cleanup of build residue. | 38 | 12d ago |
| appcore-transfer cargo | 0.1.0-beta.1 | none | none | Bounded resumable multi-source transfer of verified opaque objects | 9 | 13d ago |
| hashtree-client cargo | 0.1.2 | none | none | Verified Hashtree reads through a local daemon or standalone Nostr and Blossom clients | 113 | 13d ago |
| camazotz cargo | 0.1.1 | none | none | Certified erasure: per-subject keys, crypto-shredding with verified decrypt-failure, consent revocation, incidental-mention purging, and signed… | 15 | 13d ago |
| pollardai cargo | 0.1.0 | none | none | Experimental native Rust core for Pollard governed execution trees and verified replay | | 13d ago |
