| greentic-dw-reflection cargo | 1.2.0-dev.38037729227 | clean | Reflection contracts for greentic-dw deep-agent flows. | 2.8K | 1d ago |
| tari_transaction_manifest cargo | 0.45.0 | clean | Tari transaction manifest | 2.8K | 5d ago |
| zisk-precomp-arith-eq cargo | | not built 1.3.2-alpha did not build | Arithmetic-equality precompile for the ZisK zkVM | 2.8K | 1d ago |
| greentic-dw-delegation cargo | 1.2.0-dev.38037729227 | clean | Delegation contracts for greentic-dw deep-agent flows. | 2.8K | 1d ago |
| microsoft-webui-expressions cargo | 3.0.0 | clean | Core expression evaluation for WebUI framework | 2.8K | 2d ago |
| greentic-dw-engine cargo | 1.2.0-dev.38037729227 | clean | Engine decision abstraction for greentic-dw runtime. | 2.8K | 1d ago |
| rucc-asm cargo | 0.30.0 | clean | Instruction encoders, the integrated assembler, inline assembly and relaxation. | 2.8K | 1d ago |
| microsandbox-control-client cargo | 0.7.8 | clean | Framed host-control client with explicit legacy JSON compatibility. | 2.8K | 1d ago |
| throttle-machines cargo | 0.2.1 | clean | Rate limiting (GCRA, token bucket, fixed window) and circuit breaker on a shared no_std gate contract | 2.8K | 20h ago |
| tla-checker cargo | 0.24.5 | 4 vulnerabilities 4 | A TLA+ model checker written in Rust | 2.8K | 8h ago |
| greentic-dw-context cargo | 1.2.0-dev.38037729227 | clean | Context contracts for greentic-dw deep-agent flows. | 2.8K | 1d ago |
| fakecloud-sns cargo | 0.50.0 | clean | SNS implementation for FakeCloud | 2.8K | 4d ago |
| boatramp-firecracker cargo | 0.28.0 | clean | Firecracker microVM executor for boatramp tier-3 compute: API config, IPAM, placement | 2.8K | 17h ago |
| fakecloud-sqs cargo | 0.50.0 | clean | SQS implementation for FakeCloud | 2.8K | 4d ago |
| zisk-cluster-common cargo | | not built 1.3.2-alpha did not build | Shared types and utilities for the ZisK distributed proving cluster | 2.8K | 1d ago |
| sc-observability-log-macros cargo | 1.5.0 | clean | Procedural macros for sc-observability-log (tracing-compatible event macros and #[instrument]). | 2.8K | 3d ago |
| stella-docx-kernel cargo | 0.36.1 | clean | Bounded DOCX package projection and WordprocessingML scanning | 2.8K | 2h ago |
| sedona-functions cargo | 0.5.0 | clean | Apache SedonaDB Rust API | 2.8K | 5d ago |
| uchrono cargo | 0.1.1 | clean | A no_std compatible time point and duration library | 2.8K | 2d ago |
| zisk-precomp-poseidon cargo | | not built 1.3.2-alpha did not build | Poseidon hash precompile for the ZisK zkVM | 2.8K | 1d ago |
| sc-observability-log cargo | 1.5.0 | 4 notes 4 | log facade bridge and tracing-compatible macros for sc-observability structured JSONL logging. | 2.8K | 3d ago |
| zisk-precomp-keccakf cargo | | not built 1.3.2-alpha did not build | Keccak-f permutation precompile for the ZisK zkVM | 2.8K | 1d ago |
| zisk-precomp-blake2 cargo | | not built 1.3.2-alpha did not build | Blake2b and Blake2s precompiles for the ZisK zkVM | 2.8K | 1d ago |
| fakecloud-rds cargo | 0.50.0 | clean | Amazon RDS implementation for FakeCloud | 2.8K | 4d ago |
| heddle-biscuit-verifier cargo | 0.30.0 | clean | Shared ordinary Biscuit access verification for Heddle, Weft, and browser hosts | 2.8K | 1d ago |
| bca-tree-sitter-preproc cargo | 2.3.1 | clean | Preproc grammar for the tree-sitter parsing library (big-code-analysis fork) | 2.8K | 14h ago |
| zisk-precomp-evm cargo | | not built 1.3.2-alpha did not build | EVM jump-destination precompile for the ZisK zkVM | 2.8K | 1d ago |
| zisk-precomp-arith-eq-384 cargo | | not built 1.3.2-alpha did not build | 384-bit arithmetic-equality precompile for the ZisK zkVM | 2.8K | 1d ago |
| zisk-precomp-big-int cargo | | not built 1.3.2-alpha did not build | Big-integer arithmetic precompile for the ZisK zkVM | 2.8K | 1d ago |
| zisk-precomp-dma cargo | | not built 1.3.2-alpha did not build | Direct-memory-access precompile for the ZisK zkVM | 2.8K | 1d ago |
