hekate-crypto cargo 0.37.0 clean Hash abstraction for the Hekate ZK proving system: Blake3, SHA-256, SHA-3-256. 1.3K 15h ago hekate-core cargo 0.37.0 clean Core primitives for the Hekate ZK proving system. 1.2K 15h ago hekate-program cargo 0.37.0 clean AIR program and chiplet definition API for the Hekate ZK proving system: constraint DSL, typed column schema, virtual expansion, LogUp bus wiring. 1.2K 15h ago alice-zip cargo 0.7.0 clean Compression primitives (LZ77, dictionary coding, BPE, entropy, quantisation) + procedural signal generators (polynomial / Fourier / Perlin) + zlib / LZMA… 1.1K 50m ago hekate-gadgets cargo 0.37.0 clean Base AIR gadgets for the Hekate ZK proving system. 588 15h ago fluidattacks-core-semver-domain cargo 0.30.0 clean Fluid Attacks semver functional core: pure version/CVE matching (no_std) 432 1d ago hekate-keccak cargo 0.10.0 clean Keccak-f[1600] AIR chiplet with SHA-3 and SHAKE sponges for the Hekate ZK proving system. 406 14h ago zenith-float-num cargo 1.0.11 clean Software big-float kernel for zenith-float. 405 2d ago rusty_rtos_port-core cargo 0.3.2 clean The pure no_std core of rusty_rtos_port: types, traits and algorithms with no CPU, no allocator and no operating system. forbid(unsafe). 397 3d ago rusty_rtos_port cargo 0.3.2 clean The FreeRTOS ports remade in Rust: the deterministic sim port (the oracle harness), the Posix host port, and the Cortex-M, RISC-V and Xtensa ports — the only… 377 3d ago zenith-float cargo 1.0.11 clean Arbitrary-precision software floating-point arithmetic on integer limbs. 293 2d ago ic-json cargo 0.2.14 clean A dependency-free JSON reader and writer for IronCrypto 234 1d ago ic-hpke cargo 0.2.12 clean HPKE (RFC 9180) base mode with DHKEM(X25519, HKDF-SHA256) and DHKEM(P-384, HKDF-SHA384) for IronCrypto 165 1d ago ic-vectors cargo 0.2.14 clean Loads test vectors supplied from outside the repository 163 1d ago aither cargo 0.5.0 clean Providing unified trait abstractions for AI models 144 20m ago ic-cli cargo 0.2.14 clean ic: command-line and MCP-server front end for IronCrypto 143 1d ago io-gpeople cargo 0.5.0 clean Google People REST API client library for Rust 118 5h ago kittens cargo 0.2.1 3 vulnerabilities 3 A no_std reactor kernel for explicit, compile-checked async orchestration 103 4h ago rusty_rtos_demo-core cargo 0.3.2 clean The pure no_std core of rusty_rtos_demo: types, traits and algorithms with no CPU, no allocator and no operating system. forbid(unsafe). 96 3d ago hiway cargo 0.2.2 clean An event bus with authority scopes, retention and backpressure control 75 2d ago hiway-macros cargo 0.2.2 clean Attribute macros for hiway event specifications and ports 75 2d ago bckw cargo 0.3.1 clean A no_std zero-dependency stack machine for Curry's B, C, K, W combinators with support for external effects. 61 4h ago font-model cargo 0.1.0 clean Editable in-memory font model — glyph outlines, cmap formats 4 and 12, metrics, validation, subsetting 34 1d ago hekate-sha2 cargo 0.3.0 clean SHA-256 compression AIR chiplet for the Hekate ZK proving system. 29 15h ago ironcrypto cargo 0.2.13 clean Agentic-first, FIPS-oriented, pure-Rust cryptography with a machine-readable ontology 28 1d ago rusty_rtos_port-esp-radio cargo 0.3.2 clean esp-radio on a Kairos kernel: the five esp-radio-rtos-driver implementations, as a crate rather than glue inside one firmware 27 3d ago typed-kalman cargo 0.1.1 clean Type-safe, no_std Kalman filters: KF, EKF, UKF and smoothers 17 1d ago untechxt cargo 0.1.1 clean Encode Unicode text as LaTeX source, and learn what the document preamble needs. Fast, extensible, no_std + alloc. 17 10h ago esp32s2-p4-pre-v3 cargo not built 0.31.2-p4v13.1 did not build Peripheral access crate for the ESP32-S2 16 2d ago esp32-p4-pre-v3 cargo not built 0.40.2-p4v13.1 did not build Peripheral access crate for the ESP32 15 2d ago 