| zisk-riscv cargo | | – 1.3.2-alpha did not build | – | RISC-V instruction structures and parser for the ZisK zkVM | 2.9K | 12d ago |
| aptos-sdk cargo | 0.8.0 | none | none | A user-friendly, idiomatic Rust SDK for the Aptos blockchain | 25K | 12d ago |
| ailake-fts cargo | 0.1.18 | none | none | Tantivy per-file FTS index embedded in the AILK_FTS section | 1.2K | 12d ago |
| spikard-graphql cargo | 0.17.2 | none | none | GraphQL support for Spikard with async-graphql integration | 2.4K | 12d ago |
| ziskemu cargo | | – 1.3.2-alpha did not build | – | RISC-V emulator that executes ZisK program ROMs and generates execution traces | 2.8K | 12d ago |
| mif-frontmatter cargo | 0.11.0 | none | none | Markdown frontmatter <-> JSON-LD lossless round-trip for the MIF (Modeled Information Format) ecosystem | 551 | 12d 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 | 12d ago |
| mif-core cargo | 0.11.0 | none | none | Shared foundational types for the MIF (Modeled Information Format) ecosystem | 780 | 12d ago |
| mif-schema cargo | 0.11.0 | none | none | JSON Schema validation for the MIF (Modeled Information Format) ecosystem | 732 | 12d ago |
| mif-embed cargo | 0.11.0 | none | none | Local sentence-embedding inference for the MIF (Modeled Information Format) ecosystem | 618 | 12d ago |
| mif-ontology cargo | 0.11.0 | none | none | Ontology resolution for the MIF (Modeled Information Format) ecosystem | 644 | 12d ago |
| mif-problem cargo | 0.11.0 | none | none | RFC 9457 Problem Details envelopes for the MIF (Modeled Information Format) ecosystem | 904 | 12d ago |
| aegisvision-burn cargo | 0.3.0 | none | 2 | AegisVision 纯 Rust 分割后端（burn 框架）：CSP-ELAN 骨干 + YOLACT 式分割头，训练/推理/checkpoint/CLI 零 libtorch 依赖 | 8 | 12d ago |
| openvino-finder cargo | 0.11.1 | none | none | A helper crate for finding OpenVINO installations on a system. | 3M | 12d ago |
| ailake-vec cargo | 0.1.18 | none | none | Vector quantization (F32/F16/I8/PQ) and SIMD distance kernels for AI-Lake | 1.9K | 12d ago |
| ailake-store cargo | 0.1.18 | none | none | Unified object storage abstraction (S3, GCS, Azure, local) for AI-Lake | 1.6K | 12d ago |
| zisk-circuit cargo | 1.3.2-alpha | none | none | Gate-circuit builder (gates, pins, expressions) for the ZisK zkVM | 7.2K | 12d ago |
| zisk-sm-binary cargo | | – 1.3.2-alpha did not build | – | Binary operations state machine for the ZisK zkVM | 2.8K | 12d ago |
| zisk-transpiler-riscv cargo | | – 1.3.2-alpha did not build | – | Transpiler from RISC-V to the ZisK instruction set | 2.8K | 12d ago |
| retiretui_engine cargo | 0.4.1 | none | none | Plan model, tax engine, and projection for RetireTui. | 88 | 12d 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 | 12d 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 | 12d 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 | 12d 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 | 12d 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 | 12d ago |
| af-skills cargo | 0.19.2 | none | none | Zero-business Skill and SkillPack providers, trust boundary, activation, and tool-policy resolution. | 1.2K | 12d 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 | 12d ago |
| zisk-setup cargo | 1.3.2-alpha | none | none | Version of the ZisK proving key (setup) a build proves against | 68 | 12d ago |
| zisk-definitions cargo | 1.3.2-alpha | none | none | Shared low-level definitions (syscalls, hints, labels) for the ZisK zkVM | 7.2K | 12d ago |
| zisk-pil cargo | | – 1.3.2-alpha did not build | – | PIL2 definitions for the ZisK zkVM | 3.2K | 12d ago |
