spacedb-store cargo 0.7.0 clean SpaceDB Layer 0 — the per-node storage primitive: an engine-agnostic, transactional, order-preserving typed key/value store (redb + in-memory engines) that… 2.2K 18h ago cctop cargo 0.28.1 10 vulnerabilities 0.34.0 did not build 10 An htop-like terminal monitor for AI coding agent sessions on Linux (Claude Code, Codex, Cursor, Devin, Gemini CLI, OpenCode, Pi, Windsurf) 1.8K 3d ago sp1-gpu-shard-prover cargo 6.9.0 8 detections 8 GPU shard proving orchestration for SP1 1.7K 1d ago ini-preserve cargo 0.1.4 clean Format-preserving INI parser — read, modify and write back INI files without losing comments, ordering or formatting 1.6K 2d ago chik-pos2 cargo 1.0.1 clean A library for creating plots, validating proofs of space, farming partial proofs and solving proofs. Using Chik proof of space v2 1.6K 2d ago videre-api cargo 0.61.0 clean Transport-agnostic facade over videre's face-labeling and image-serving operations 1.6K 1d ago llmlint cargo 0.4.5 1 vulnerability 1 LLM-as-judge linter: enforce code-quality checks deterministic linters can't express, by driving real coding harnesses through oneharness. 1.5K 3d ago vize_l0 cargo 0.442.0 clean L0 - the Davinci foundation level: ids, side tables, keys, dumps, diagnostics, passes and facts 1.4K 13h ago qubit-argument cargo 0.4.6 clean Structured, ownership-preserving argument validation for Rust applications 1.4K 1d ago hekate-crypto cargo 0.37.0 clean Hash abstraction for the Hekate ZK proving system: Blake3, SHA-256, SHA-3-256. 1.3K 3d ago vize_l1 cargo 0.442.0 clean 0.443.0 did not build L1 - the lossless Vue-template surface tree (codename Sinopia, Davinci P2-7) 1.2K 13h ago hekate-core cargo 0.37.0 clean Core primitives for the Hekate ZK proving system. 1.2K 3d ago vize_l0_derive cargo 0.442.0 clean Davinci - #[derive(Folio)] for the stage-dump contract (host build dependency; the generated code is no_std) 1.2K 13h 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 3d ago vize_l2 cargo 0.442.0 clean L2 - the Davinci semantic IR (codename Disegno): the neutral op family every input dialect lowers into 1.1K 13h ago seiza-cli cargo 0.25.1 3 vulnerabilities 3 Command-line interface for seiza: star detection, plate solving, and dataset management 1.1K 3h ago rag-rat-llm cargo 0.24.1 clean Embedding and LLM serving layer for the rag-rat workspace: embedder providers, ephemeral box provisioning, and throughput tuning. 1.1K 1d ago engenho-substrate cargo 0.53.130 clean engenho-substrate — the substrate leaf: every module a shipped engenho crate references (derivations and caches, receipts, quorum, ledgers, verifiers, rollout… 1.0K 2d ago nexus-toolkit cargo 2.1.1 clean Rust framework for building and serving Nexus Tools. 1.0K 1d ago symplex cargo 0.42.0 clean Exact symbolic mathematics for Rust: calculus, summation, solving, linear algebra, transforms, compile-time dimensional analysis, and Rust/C code generation 986 4h ago vize_l3 cargo 0.442.0 clean L3 - the Davinci reactivity IR (codename Impeto): flat scheduled ops with explicit state and effect edges 979 13h ago apimock-config cargo 6.4.0 clean Configuration model for apimock: loading, validation, editing, saving. 971 4d ago seiza-cabi cargo 0.25.1 clean C ABI for Seiza: image processing, plate solving, and catalog setup for native apps 958 3h ago epic-harness cargo 0.8.10 2 vulnerabilities 2 3 commands + 26 auto-trigger skills + self-evolving agent harness with autonomous pipeline 955 3d ago ptts cargo 0.4.0-rc.1 3 vulnerabilities 3 Pocket TTS inference and serving using xn 903 2d ago inferlab-proxy cargo 0.21.0 clean The built-in serving proxy for Inferlab experiment topologies. 885 4d ago vize_l1_to_l2 cargo 0.442.0 clean L1-to-L2 - the Davinci Vue template lowering (codename Ricalco, P2-8) 815 13h ago bynk-strip cargo 0.314.23 clean Strip-only TypeScript-to-JavaScript for the Bynk compiler: erases type syntax with oxc, preserving runtime semantics and value imports. 798 18h ago hekate-sdk cargo 0.37.0 clean Client SDK for the Hekate ZK proving system: program bundling, wire format, and preflight diagnostics. 791 3d ago rx_core_subscriber_higher_order_switch cargo 0.3.0 clean switch subscriber for rx_core. Upon receiving an observable, subscribes to it immediately, unsubscribing the previous one. 787 1d ago 