bitrouter-tui cargo 1.0.0-alpha.34 clean Terminal renderers for BitRouter operations and ACP agent sessions. 1.5K 1d ago lean-rs cargo not built 0.9.3 did not build Safe Rust bindings for Lean 4 interop: runtime initialization, object handles, typed ABI conversions, module loading, exported function calls, semantic… 1.5K 7h ago roder-ext-webwright cargo 0.2.1 clean Agentic software development tools and SDKs for Roder. 1.5K 2d ago tear-client cargo 0.1.43 clean Typed RPC client for tear-daemon. Consumed by the tear bin, mado (Tier 2 native-split mode), and third parties that want to drive tear sessions. 1.5K 3d ago roder-ext-kimi-code cargo 0.2.1 clean Agentic software development tools and SDKs for Roder. 1.5K 1d ago detamu-sdk cargo 0.2.0 clean Embeddable world-model orchestration SDK for Detamu 1.5K 4d ago smix-adapter-maestro cargo 15.0.1 2 vulnerabilities 2 smix-adapter-maestro — Maestro YAML adapter for smix. Parses Maestro test flow YAML and translates each Step into a smix-sdk action call so a CI job can shell… 1.5K 5h ago tsift-cache cargo 0.1.105 clean Shared cache primitives for tsift and agent-doc integrations 1.5K 5d ago kaish-kernel cargo 0.18.1 clean Core kernel for kaish: lexer, parser, interpreter, and runtime 1.5K 1d ago polyc-payments-server cargo 2026.10.2 clean Inbound 402 metering server: issue Tempo/x402 payment challenges and verify credentials, standalone of any outbound payment client. 1.5K 5d ago polyc-spend-policy cargo 2026.10.2 clean Pre-authorization spend caps and per-conversation running budgets for polychrome, denominated in caller-supplied base units. 1.5K 5d ago rust_ecdsa cargo 0.1.0 clean This is a utils library for working with the ECDSA digtal signature 1.5K 4d ago smolvm-registry cargo 1.27.1 clean OCI Distribution client for smolmachines registry 1.5K 16h ago pdfboss-text cargo 2.15.1 clean PDF text extraction in pure Rust: font loading, encodings, ToUnicode CMaps and positioned text spans 1.5K 9h ago cc-lb-plugin-conformance cargo 0.3.0 clean In-process conformance harness for cc-lb wasmtime plugin authors. Verifies plugin ABI and wire fingerprint matches host. 1.5K 5d ago whipplescript-kernel cargo 0.11.0 clean Runtime kernel and provider integrations for WhippleScript workflows 1.5K 3d ago smolvm-network cargo 1.27.1 clean Host-side virtio-net runtime for smolvm 1.5K 16h ago squawk-fmt cargo 2.68.0 1 vulnerability 1 Linter for Postgres migrations & SQL 1.5K 3d ago wavekat-platform-client cargo 0.0.35 clean Rust client for the WaveKat platform — auth, sessions, artifact upload 1.5K 2d ago sbpf-ir cargo 0.3.2 clean Intermediate representation and control-flow graph for SBPF programs 1.5K 4d ago lingxia cargo 0.25.1 clean LingXia - Cross-platform LxApp (lightweight application) framework for Android, iOS, macOS, HarmonyOS, and Windows 1.5K 10h ago pigment cargo 0.1.2 clean All the colors of the web, by name – case-/space-/snake-insensitive 1.5K 4d ago ikigai-browse cargo 0.18.8 clean Repository browsing as ikigai resources: per-root tree / file / git-state / hash endpoints, an archived LLM explanation layer, W3C Web Annotations that… 1.5K 11h ago nemo-relay-worker-proto cargo 0.10.0 clean gRPC protocol definitions for NeMo Relay out-of-process worker plugins. 1.5K 3d ago fakecloud-batch cargo 0.49.0 clean AWS Batch implementation for FakeCloud 1.5K 6d ago ssg-search cargo 0.0.67 clean Browser-native vector semantic search for SSG — WASM-compiled, int8-quantised, Float32Array boundary. 1.5K 2d ago embedded-dal cargo 0.0.0 clean A display abstraction layer for embedded devices 1.5K 4d ago baracuda-cutensor-sys cargo 0.0.1-alpha.93 clean Raw FFI bindings and dynamic loader for NVIDIA cuTENSOR (tensor contraction). 1.5K 1h ago arch-satellite-syn cargo 0.34.0 clean Satellite syntax parsing and code generation tools 1.5K 5d ago llmlint cargo 0.4.5 1 vulnerability 1 LLM-as-judge linter: enforce code-quality checks deterministic linters can't express, by driving real coding harnesses through oneharness. 1.5K 5d ago