tla-mc cargo 0.1.1 clean A fast TLA+ model checker: compiles a spec into a native, parallel checker; state counts measured exact against TLC 16 7h ago themql-runtime cargo 0.2.0 clean Native Rust message-query runtime for desktop, distributed, telemetry, analysis, AI, GNC, and embedded systems. 14 11h ago ipg-json cargo 0.1.0 clean Native bounded JSON and typed contracts for IronPrivacyGuard 13 2d ago ozzy-runtime cargo 0.1.0 clean Embedded Ozzy broker runtime and native SDK over OMQ. 11 3h ago hybrid-format cargo 0.1.0 clean A hybrid format! alternative that formats constants at compile-time and everything else much faster at runtime with a single allocation. Extensible with your… 9 1d ago accelerate cargo 0.1.0 clean Reusable native surface presentation and software acceleration primitives 8 32m ago furnace-rs-persistence cargo 1.0.1 clean Native persistence connectors for furnace-rs applications 8 2d ago goway cargo not built 0.1.0 did not build Run a command on the least-loaded machine of a pool, natively, from the current git work tree. 8 3d ago incurs-app-gpui cargo 0.6.0 clean Native desktop application surface for incurs command graphs, built on GPUI 8 3d ago odoo-lint cargo 0.1.0-alpha.1 clean Blazing fast Rust-native linter for Odoo modules 8 4h ago ozzy cargo 0.1.0 clean Native writer and reader SDK for Ozzy brokers over OMQ. 8 54m ago sgl-3d cargo 0.2.1 clean Caller-driven 3D rendering for SGL games, native and in the browser (WebGPU) 8 1d ago sigma-dock-ui cargo not built 0.1.1 did not build Native GPUI workspace for supervising local coding agents 8 21h ago sping cargo 1.5.5 clean Terminal-native real-time connectivity monitor with network context diagnostics 8 2d 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 agentsam-rapid-rust cargo 0.1.0 clean AgentSam native scaffolder and lifecycle CLI for Cloudflare Rust/Wasm Workers 7 2d ago bevy_window_chrome cargo not built 0.19.0-rc.0 did not build Native-looking custom window chrome (borderless title bars, caption buttons, resize handles) for Bevy apps 7 1d ago ipg-pkcs11 cargo 0.1.0 clean Native PKCS#11 boundary for IronPrivacyGuard 7 2d ago keygrant cargo 0.1.0 clean KeyGrant licensing for Tauri and native Rust desktop apps: signed leases verified offline, failing in favour of the paying customer. 7 2d ago robius-speech cargo 0.3.1 clean Native streaming speech-to-text input and microphone capture for Rust apps 7 1d ago tauri-plugin-uuid cargo not built 0.1.0 did not build Generate v4 and v7 UUIDs natively from Rust for Tauri apps. 7 2d ago themql-desktop cargo 0.2.0 10 vulnerabilities 10 Native Rust message-query runtime for desktop, distributed, telemetry, analysis, AI, GNC, and embedded systems. 7 7h ago themql-embedded cargo 0.2.0 clean Native Rust message-query runtime for desktop, distributed, telemetry, analysis, AI, GNC, and embedded systems. 7 7h ago yah-runner-ha cargo 0.8.42 clean Anthropic-native (/v1/messages SSE) cell of the yah agent runner 7 1h ago pollardai cargo 0.1.0 clean Experimental native Rust core for Pollard governed execution trees and verified replay 2d ago rightkit-crash cargo 0.1.0 clean Privacy-first panic capture, redacted crash reports, native dumps and support bundles for Right Suite apps. 1d ago 