xmbl-zero-knowledge cargo 0.1.28 clean XMBL zero-knowledge cube-curve state-commitment (post-quantum, hash-based FRI). EXPERIMENTAL and UNAUDITED. 125 1h ago p3-monolith-air cargo 0.9.0-rc.1 clean An AIR implementation of the Monolith permutation family for use in zero-knowledge proof systems. 120 3h ago dioxus-shadcn cargo 0.6.6 clean Tailwind-styled Dioxus UI components with source-copy friendly APIs. 113 1d ago ljos-consensus cargo 0.7.0 clean DeGroot / Friedkin–Johnsen over a trust graph; Seldon ODE when seldon is on PATH 95 1d ago p3-sha256-air cargo 0.9.0-rc.1 clean An AIR implementation of the SHA-256 compression function for use in zero-knowledge proof systems. 69 2h ago toad-cli cargo 0.5.0 clean A developer-friendly REST client called toad 69 4d ago lsmd cargo 0.9.2 3 vulnerabilities 3 A terminal-friendly Markdown (.md) reader built for speed and easy navigation in large projects 66 18h ago graphcal-ast-derive cargo 0.0.1-alpha.35 clean Type-safe, unit-aware, Git-friendly reactive programming language for engineering calculations 64 1d ago graphcal-project cargo 0.0.1-alpha.35 clean Type-safe, unit-aware, Git-friendly reactive programming language for engineering calculations 58 1d ago p3-stir cargo 0.9.0-rc.1 clean An implementation of the STIR (Reed-Solomon Proximity Testing with Fewer Queries) polynomial commitment scheme. 49 2h ago auto-ascii-format cargo 0.4.0 clean ASCI v1 chunked container for auto-ascii: deterministic writer, mmap-friendly reader, zstd + temporal delta, O(1) seek 40 3d ago woocraft-terminal cargo 0.6.2 clean Cross-platform PTY terminal session core for the Woocraft design system, headless-friendly. 27 2d ago p3-word cargo 0.9.0-rc.1 clean Word-level constraint relations for binary proving systems. 20 3h ago mutil-ai cargo 0.3.2 clean A beginner-friendly, provider-neutral Rust AI SDK with a strict normalization layer. 17 5d ago p3-word-backend cargo 0.9.0-rc.1 clean Proving backend for Plonky3 word-level constraint systems. 13 3h ago runlight cargo 0.1.1 clean Privacy friendly web analytics that lives inside your Rust app: mount a route, add a script tag, read your stats at /runlight 9 7h ago attra cargo 0.1.1 clean Ergonomic attribute parsing for Rust proc-macros — a friendlier darling. 8 1d ago nordisk-narrate cargo 0.1.0 clean DEV-NARRATE: a box's early boot log, sealed to the installer's X25519 key (NaCl crypto_box, per-boot ephemeral sender key) and streamed over UDP to the address… 8 1d ago adya cargo 0.1.0 clean Black-box transactional isolation checker: finds G0, G1, G-single, G2 and friends in database histories. A native, JVM-free take on Jepsen's Elle. 7 4d ago hoppy cargo 0.1.0 clean A friendlier ifconfig, netstat, and ping. See which adapter is on which network, what's listening, and where your connection is broken. 4d ago p3-blake2s cargo 0.9.0-rc.1 clean An implementation of the BLAKE2s cryptographic hash function, with a batched path for hashing many messages at once. 2h ago p3-blake2s-air cargo 0.9.0-rc.1 clean An AIR implementation for the BLAKE2s compression function over binary fields. 2h ago shacl-report cargo not built 1.0.0 did not build Validate RDF with SHACL, or read any validator's report, and explore it in a readable web view or a CI-friendly HTML report 9h ago statac cargo 0.0.0 clean The friendly static site generator. This version only holds the name: install Statac from https://statac.dev/install/ 9h ago txstr-server cargo 0.1.0 clean personal (+ friends) self-hosted server companion to txstr 5d ago 