| 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 |
| 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 | 10d 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 | 10d 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 | 10d 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 | 10d 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 | 10d ago |
| af-skills cargo | 0.19.2 | none | none | Zero-business Skill and SkillPack providers, trust boundary, activation, and tool-policy resolution. | 1.2K | 10d 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 | 10d ago |
| zisk-setup cargo | 1.3.2-alpha | none | none | Version of the ZisK proving key (setup) a build proves against | 68 | 10d ago |
| zisk-definitions cargo | 1.3.2-alpha | none | none | Shared low-level definitions (syscalls, hints, labels) for the ZisK zkVM | 7.2K | 10d ago |
| zisk-pil cargo | | – 1.3.2-alpha did not build | – | PIL2 definitions for the ZisK zkVM | 3.2K | 10d ago |
| datafusion-ethers cargo | 55.1.0 | none | none | Ethereum RPC bridge for Apache Datafusion | 39K | 10d ago |
| axiolid-measure cargo | 0.3.10 | none | none | Metric properties: area, volume, centroid, moments of inertia. | 1.9K | 10d 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 | 10d 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 | 10d ago |
| adk-audio cargo | 2.3.0 | none | none | Audio intelligence and pipeline orchestration for ADK-Rust agents | 2.1K | 10d ago |
| adk-awp cargo | 2.3.0 | none | none | Agentic Web Protocol (AWP) implementation for ADK-Rust | 1.3K | 10d ago |
| progenitor-extras cargo | 0.3.0 | none | none | Extra functionality for the Progenitor OpenAPI client generator | 96K | 10d ago |
| smtkit-smtlib cargo | 0.2.0 | none | none | SMT-LIB2 serialization + solver I/O backend for smtkit | 292 | 10d ago |
| range-set-blaze cargo | 0.8.0 | none | none | Integer sets as fast, sorted integer ranges; Maps with integer-range keys; Full set operations | 6M | 10d ago |
| adk-gcp cargo | 2.3.0 | none | none | Shared Google Cloud REST plumbing for Rust Agent Development Kit (ADK-Rust): ADC credential caching, bounded HTTP transport, and long-running-operation polling | 194 | 10d ago |
| jetstreamer-plugin cargo | | – 0.8.1 did not build | – | Support crate for Jetstreamer containing plugin framework abstractions and utilities | 3.7K | 10d ago |
| incurs-openai-mcp-protocol cargo | 0.1.0 | none | none | Portable OpenAI MCP extension wire models and validators | 12 | 10d ago |
