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 datafusion-ethers cargo 55.1.0 none none Ethereum RPC bridge for Apache Datafusion 39K 12d 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 12d 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 12d ago adk-audio cargo 2.3.0 none none Audio intelligence and pipeline orchestration for ADK-Rust agents 2.1K 12d ago adk-awp cargo 2.3.0 none none Agentic Web Protocol (AWP) implementation for ADK-Rust 1.3K 12d ago progenitor-extras cargo 0.3.0 none none Extra functionality for the Progenitor OpenAPI client generator 96K 12d ago smtkit-smtlib cargo 0.2.0 none none SMT-LIB2 serialization + solver I/O backend for smtkit 292 12d 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 12d 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 12d ago jetstreamer-plugin cargo – 0.8.1 did not build – Support crate for Jetstreamer containing plugin framework abstractions and utilities 3.7K 12d ago incurs-openai-mcp-protocol cargo 0.1.0 none none Portable OpenAI MCP extension wire models and validators 12 12d ago rag-rat-query cargo 0.24.1 none none Read layer for the rag-rat workspace: graph/impact/symbol/tree queries, repo-memory reads and evidence resolution, pagerank, and orientation primitives. 1.1K 12d ago af-store cargo 0.19.2 none none Shared pgbouncer-safe Postgres pool and bounded transaction primitives. 1.2K 12d ago polyglot-sql-function-catalogs cargo 0.13.3 none none Optional dialect function catalogs for polyglot-sql semantic validation 21K 12d ago adk-action cargo 2.3.0 none none Shared action node types for ADK-Rust graph workflows 1.5K 12d ago cnk cargo 0.2.4 none none ID set compression with auto codec selection 1.1K 12d ago clump cargo 0.6.0 none none Dense clustering primitives (k-means, DBSCAN, HDBSCAN, EVoC, COP-Kmeans, DenStream, correlation clustering) 6.8K 12d ago af-agent-session cargo 0.19.2 none none Append-only Agent session events, invariants and deterministic projections. 1.6K 12d ago time-mcp cargo 1.1.1 none 1 A super basic MCP server that exposes current time information 7 12d ago fedimint-server-bitcoin-rpc cargo 0.13.0-beta.1 none none Bitcoin RPC implementations for Fedimint server 6.9K 12d ago 