zisk-precomp-common cargo – 1.3.2-alpha did not build – Common utilities and helpers for ZisK precompiles 3.0K 6d ago rho-providers cargo 2.18.0 none none Model provider runtimes, credentials, and model catalog for Rho 3.0K 3h ago csl-legacy cargo 0.83.0 none none Legacy CSL 1.0 XML and CSL-JSON parsers — infrastructure for the Citum migration pipeline 3.0K 7d ago enventory cargo 0.2.0 none none A typed, self-documenting environment variable registry 2.9K 8d ago muxio-tokio-mpsc-adapter cargo 0.17.1-alpha none none A Tokio mpsc channel adapter wrapping Muxio's streaming RPC API with simple Sender/Receiver pairs. 2.9K 2d ago vamo-macros cargo 0.1.2-beta.4 none none Macros for quick client development using vamo 2.9K 16h ago rucc-codegen cargo 0.30.6 none none Instruction selection, scheduling, block layout, frames and prologue emission. 2.9K 1d ago oj_compiler cargo 0.2.22 none none Fused per-file pipeline 2.9K 6d ago greentic-dw-runtime cargo 1.2.0-dev.38697760955 none none Runtime kernel and memory extension surface for greentic-dw. 2.9K 1d ago freeswitch-types cargo 1.8.0 none none FreeSWITCH ESL protocol types: channel state, events, headers, commands, and variables 2.9K 9d ago sqlx-utils cargo 1.1.3 none none Utilities for working with SQLx in a structured and efficient way, both when developing and running 2.9K 7d ago scsh cargo 1.49.28 none none Scoped Skills Helper — preflight a git repo and run its scoped skills in ephemeral containers. 2.9K 6h ago panproto-lens-dsl cargo 0.76.1 none none Declarative lens DSL for panproto with Nickel, JSON, and YAML support 2.9K 4d ago strided-fused cargo 0.5.0 none none Runtime-DAG fused strided CPU kernel execution. 2.9K 2d ago zisk-transpiler-common cargo – 1.3.2-alpha did not build – Shared ELF-to-ROM transpilation utilities for the ZisK zkVM 2.9K 6d ago evolutionary cargo 0.5.0 none none A fully extensible Rust framework for using parallelized genetic algorithms to solve problems. 2.9K 2d ago dial9-viewer cargo 0.5.4 none medium CLI trace viewer and S3 browser for dial9-tokio-telemetry 2.8K 2d ago muse-codes cargo 1.4.9 none none Typed Rust SDK for Meta's Muse Code terminal agent: serde models of the `muse exec --json` JSONL event stream, plus an async (Tokio) client for headless Muse… 2.8K 12h ago qubit-retry cargo 0.26.0 none none Retry module, providing a feature-complete, type-safe retry management system with support for multiple delay strategies and event listeners 2.8K 7d ago ag-forge cargo 0.17.0 none none Agentty is an ADE (Agentic Development Environment) for structured, controllable AI-assisted software development. 2.8K 7d ago rucc-asm cargo 0.30.6 none none Instruction encoders, the integrated assembler, inline assembly and relaxation. 2.8K 1d ago sqry-mcp-redaction cargo 33.0.1 none none Client-side helper library for redacting sensitive data from MCP responses 2.8K 10d ago briny cargo 0.13.1 none none Low-level enforcement of memory layout integrity 2.8K 6d ago codewhale-build-support cargo 0.10.1 none none Shared build-script helpers for embedding Codewhale build metadata 2.8K 8d ago dcap-qvl-cli cargo 0.7.0 none none Command line interface for Intel SGX DCAP Quote Verification Library 2.8K 4d ago openlogi-assets cargo 0.8.14 none none Asset registry schema, mirror discovery, and blocking HTTP fetch helpers. Shared by the openlogi CLI (bundle sync) and openlogi-desktop (runtime cache). 2.8K 23h ago zisk-sm-rom cargo – 1.3.2-alpha did not build – ROM state machine for the ZisK proving pipeline 2.8K 6d ago tla-checker cargo 0.24.7 none 4 vulnerabilities 4 A TLA+ model checker written in Rust 2.8K 3d ago cortiq-cli cargo 0.8.19 none high Command-line tools for the CMF model format: inspect, convert, run and serve .cmf models. 2.8K 14h ago panproto-theory-dsl cargo 0.76.1 none none Declarative theory DSL for panproto with Nickel, JSON, and YAML support 2.8K 4d ago 