smolmachines cargo 1.24.0 clean Embed smol machines microVMs directly in a Rust process 380 1d ago crush-diagnostics cargo 0.3.9 clean Canonical NDJSON diagnostic helper trio for the Crush CLI surface — shared shape (code, level, file, line, col, message, hint) extracted from the inlined… 369 8h ago arcbox-engine cargo not built 0.9.0 did not build Embeddable, daemon-free VM engine for ArcBox 341 8h ago degenbot-simulation cargo 0.6.0-alpha.14 clean In-process revm simulation executor + dispatch fan-out (pyo3-free core; ADR-019 D4 fold). 192 7h ago colonizer-agentd cargo 0.2.12 clean Daemon inside every Colonizer microVM: agent runner bridge, event log, terminals 178 10h ago miden-tx-script-args cargo not built 0.15.0 did not build Typed transaction-script argument transport for the Miden VM 178 2d ago fusion-pcu-core cargo 0.0.9 clean Backend-neutral core IR, contracts, tensor semantics, and reference VM for Fusion PCU 170 27m ago colonizer-harness cargo not built 0.2.12 did not build The Colonizer harness: coding agents in private microVMs, linked by a private mesh, returning pull requests 169 9h ago wickra-zk-host cargo not built 0.2.0 did not build Prover and verifier for wickra-zk: runs the deterministic wickra-backtest inside a risc0 zkVM guest and turns a receipt into a trustless, data-hiding proof of… 151 1d ago crush-lang-sdk cargo 0.3.9 8 vulnerabilities 8 Rust SDK for hosting and extending the crush-vm CVM1 runtime 84 6h ago containerization-framework cargo not built 0.4.0 did not build Rust bindings for Apple's Containerization framework: Linux containers in lightweight VMs, in-process and without a daemon. 66 23h ago dekopon-model-proxy cargo 0.36.0 clean Metered model API proxy for Dekopon guest VMs 63 53m ago wickra-zk cargo not built 0.2.0 did not build Command-line prover and verifier for wickra-zk: prove a backtest inside the zkVM and check the resulting receipt. 58 1d ago arcbox-computer-runtime cargo 0.9.0 clean Sandbox orchestration over nested microVMs behind the arcbox-vm-driver port: boot, exec, files, checkpoints, warm pools. The in-sandbox init is… 43 9h ago arcbox-fc-driver cargo not built 0.9.0 did not build The Firecracker adapter for the arcbox-vm-driver port: renders a VmSpec into Firecracker API payloads and jailer-relative paths, owns the VMM process, and… 38 9h ago arcbox-tap-net cargo 0.9.0 clean The Linux TAP guest network: address pool, TAP devices, identity-invariant NAT (eBPF TCX or iptables), and the quarantine ledger behind arcbox-vm-driver's… 38 9h ago symbi-sandbox-guest cargo 1.21.1 clean Versioned guest command transport for Symbiont microVMs 24 17h ago patchcov cargo 0.1.1 1 vulnerability 1 Patch coverage for git diffs: attribute lcov, llvm-cov, Cobertura, Go and JaCoCo reports to a diff and gate on it. 17 1d ago adya cargo 0.1.0 clean Black-box transactional isolation checker: finds G0, G1, G-single, G2 and friends in database histories. A native, JVM-free take on Jepsen's Elle. 7 1d ago 