| avml cargo | 0.21.0 | none | none | A portable volatile memory acquisition tool | 68K | 10d ago |
| zisk-precomp-babyjubjub cargo | | – 1.3.2-alpha did not build | – | BabyJubJub twisted-Edwards point-addition precompile for the ZisK zkVM | 316 | 10d ago |
| oxtel-reqwest cargo | 0.0.1 | none | none | HTTP client instrumentation for reqwest, for oxtel (under development) | 8 | 10d ago |
| adk-payments cargo | 2.3.0 | none | none | Protocol-neutral agentic commerce and payment orchestration for ADK-Rust | 1.2K | 10d ago |
| fitsio-pure cargo | 0.21.6 | none | none | Pure Rust FITS file reader and writer | 3.4K | 10d ago |
| zisk-recurser cargo | | – 1.3.2-alpha did not build | – | Recursive proof aggregation layer for the ZisK zkVM | 2.7K | 10d ago |
| zisk-precomp-hints cargo | | – 1.3.2-alpha did not build | – | Hint generation for ZisK precompiles | 2.8K | 10d ago |
| zisk-sm-frequent-ops cargo | | – 1.3.2-alpha did not build | – | Frequent-operations state machine for the ZisK zkVM | 2.8K | 10d ago |
| zisk-transpiler-common cargo | | – 1.3.2-alpha did not build | – | Shared ELF-to-ROM transpilation utilities for the ZisK zkVM | 2.9K | 10d ago |
| zisk-riscv cargo | | – 1.3.2-alpha did not build | – | RISC-V instruction structures and parser for the ZisK zkVM | 2.9K | 10d ago |
| aptos-sdk cargo | 0.8.0 | none | none | A user-friendly, idiomatic Rust SDK for the Aptos blockchain | 25K | 10d ago |
| ailake-fts cargo | 0.1.18 | none | none | Tantivy per-file FTS index embedded in the AILK_FTS section | 1.2K | 10d ago |
| spikard-graphql cargo | 0.17.2 | none | none | GraphQL support for Spikard with async-graphql integration | 2.4K | 10d ago |
| ziskemu cargo | | – 1.3.2-alpha did not build | – | RISC-V emulator that executes ZisK program ROMs and generates execution traces | 2.8K | 10d ago |
| mif-frontmatter cargo | 0.11.0 | none | none | Markdown frontmatter <-> JSON-LD lossless round-trip for the MIF (Modeled Information Format) ecosystem | 551 | 10d 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 | 10d ago |
| mif-core cargo | 0.11.0 | none | none | Shared foundational types for the MIF (Modeled Information Format) ecosystem | 780 | 10d ago |
| mif-schema cargo | 0.11.0 | none | none | JSON Schema validation for the MIF (Modeled Information Format) ecosystem | 732 | 10d ago |
| mif-embed cargo | 0.11.0 | none | none | Local sentence-embedding inference for the MIF (Modeled Information Format) ecosystem | 618 | 10d ago |
| mif-ontology cargo | 0.11.0 | none | none | Ontology resolution for the MIF (Modeled Information Format) ecosystem | 644 | 10d ago |
| mif-problem cargo | 0.11.0 | none | none | RFC 9457 Problem Details envelopes for the MIF (Modeled Information Format) ecosystem | 904 | 10d ago |
| aegisvision-burn cargo | 0.3.0 | none | 2 | AegisVision 纯 Rust 分割后端（burn 框架）：CSP-ELAN 骨干 + YOLACT 式分割头，训练/推理/checkpoint/CLI 零 libtorch 依赖 | 8 | 10d ago |
| openvino-finder cargo | 0.11.1 | none | none | A helper crate for finding OpenVINO installations on a system. | 3M | 10d ago |
| ailake-vec cargo | 0.1.18 | none | none | Vector quantization (F32/F16/I8/PQ) and SIMD distance kernels for AI-Lake | 1.9K | 10d ago |
| ailake-store cargo | 0.1.18 | none | none | Unified object storage abstraction (S3, GCS, Azure, local) for AI-Lake | 1.6K | 10d ago |
| zisk-circuit cargo | 1.3.2-alpha | none | none | Gate-circuit builder (gates, pins, expressions) for the ZisK zkVM | 7.2K | 10d ago |
| zisk-sm-binary cargo | | – 1.3.2-alpha did not build | – | Binary operations state machine for the ZisK zkVM | 2.8K | 10d ago |
| zisk-transpiler-riscv cargo | | – 1.3.2-alpha did not build | – | Transpiler from RISC-V to the ZisK instruction set | 2.8K | 10d ago |
| retiretui_engine cargo | 0.4.1 | none | none | Plan model, tax engine, and projection for RetireTui. | 88 | 10d ago |
| gccjit_sys cargo | 4.2.0 | none | none | Raw bindings to libgccjit. Companion to the gccjit crate. | 1M | 10d ago |
