spikard-graphql cargo 0.17.2 none none GraphQL support for Spikard with async-graphql integration 2.4K 11d ago ziskemu cargo – 1.3.2-alpha did not build – RISC-V emulator that executes ZisK program ROMs and generates execution traces 2.8K 11d ago mif-frontmatter cargo 0.11.0 none none Markdown frontmatter <-> JSON-LD lossless round-trip for the MIF (Modeled Information Format) ecosystem 551 11d ago spikard cargo 0.17.2 none none High-performance HTTP framework built on Axum and Tower-HTTP with type-safe routing, validation, WebSocket/SSE support, and lifecycle hooks 3.5K 11d ago mif-core cargo 0.11.0 none none Shared foundational types for the MIF (Modeled Information Format) ecosystem 780 11d ago mif-schema cargo 0.11.0 none none JSON Schema validation for the MIF (Modeled Information Format) ecosystem 732 11d ago mif-embed cargo 0.11.0 none none Local sentence-embedding inference for the MIF (Modeled Information Format) ecosystem 618 11d ago mif-ontology cargo 0.11.0 none none Ontology resolution for the MIF (Modeled Information Format) ecosystem 644 11d ago mif-problem cargo 0.11.0 none none RFC 9457 Problem Details envelopes for the MIF (Modeled Information Format) ecosystem 904 11d ago aegisvision-burn cargo 0.3.0 none 2 AegisVision 纯 Rust 分割后端（burn 框架）：CSP-ELAN 骨干 + YOLACT 式分割头，训练/推理/checkpoint/CLI 零 libtorch 依赖 8 11d ago openvino-finder cargo 0.11.1 none none A helper crate for finding OpenVINO installations on a system. 3M 11d ago ailake-vec cargo 0.1.18 none none Vector quantization (F32/F16/I8/PQ) and SIMD distance kernels for AI-Lake 1.9K 11d ago ailake-store cargo 0.1.18 none none Unified object storage abstraction (S3, GCS, Azure, local) for AI-Lake 1.6K 11d ago zisk-circuit cargo 1.3.2-alpha none none Gate-circuit builder (gates, pins, expressions) for the ZisK zkVM 7.2K 11d ago zisk-sm-binary cargo – 1.3.2-alpha did not build – Binary operations state machine for the ZisK zkVM 2.8K 11d ago zisk-transpiler-riscv cargo – 1.3.2-alpha did not build – Transpiler from RISC-V to the ZisK instruction set 2.8K 11d ago retiretui_engine cargo 0.4.1 none none Plan model, tax engine, and projection for RetireTui. 88 11d ago opt-lang cargo 0.2.0 none none SSA optimization passes for ir-lang: sparse conditional constant propagation, value numbering, dead-code elimination, CFG simplification, copy propagation, and… 8 11d ago adk-acp cargo 2.3.0 none none Agent Client Protocol integration for ADK-Rust — use ACP coding agents or expose an ADK agent to editors 1.3K 11d ago rag-rat-oracle cargo 0.24.1 none none Compiler-grade reference oracle for the rag-rat workspace: SCIP/LSP evidence ingestion, run manifests, and the verdict store. 1.0K 11d ago rag-rat-oplog cargo 0.24.1 none none Memory op-log for the rag-rat workspace: the op model and deterministic projection fold, the signed hash-chained entry envelope, the owner-bound… 1.0K 11d ago rag-rat-llm cargo 0.24.1 none none Embedding and LLM serving layer for the rag-rat workspace: embedder providers, ephemeral box provisioning, and throughput tuning. 1.1K 11d ago af-skills cargo 0.19.2 none none Zero-business Skill and SkillPack providers, trust boundary, activation, and tool-policy resolution. 1.2K 11d ago zisk-lib-c cargo – 1.3.2-alpha did not build – Rust FFI bindings to C implementations of elliptic-curve and field arithmetic for ZisK 7.2K 11d ago zisk-setup cargo 1.3.2-alpha none none Version of the ZisK proving key (setup) a build proves against 68 11d ago zisk-definitions cargo 1.3.2-alpha none none Shared low-level definitions (syscalls, hints, labels) for the ZisK zkVM 7.2K 11d ago zisk-pil cargo – 1.3.2-alpha did not build – PIL2 definitions for the ZisK zkVM 3.2K 11d ago datafusion-ethers cargo 55.1.0 none none Ethereum RPC bridge for Apache Datafusion 39K 11d ago rag-rat-core cargo 0.24.1 none none Repository evidence engine for source chunks, symbols, graph edges, Git history, GitHub rationale, and source-bound memories. 2.2K 11d ago aegis-filter cargo 0.1.0 none none High-integrity, cyber-resilient state estimation and robust filtering engine in pure Rust with strict numerical validation, Joseph stabilized covariance… 7 11d ago 