cargo-snare cargo 3.1.0 clean Cargo subcommand that runs a crate's #[cfg(snare)] tests under the snare interposer with the syscall shims patched in 124 13h ago lungo-bir cargo 1.88.0 clean Bridge IR: the versioned compiler boundary between Lean and the Rust backend. An internal part of lungo: depend on `lungo` and `lungo-build`. 124 19h ago cargo-cleanme cargo 0.2.3 clean Safely clean inactive Cargo build artifacts through Cargo 119 12h ago ygopro-server cargo 0.1.3+3209cd866a clean 启动ygopro本地服务器 118 1d ago cargo-issafe cargo 2.3.0 clean Minimalist Rust CLI for detecting unsafe keyword usage in crates and dependencies 114 18h ago lungo cargo 1.88.0 clean Runtime and facade types for Rust code generated from Lean by lungo-build 113 19h ago lungo-protocol cargo 1.88.0 clean The versioned protocol between lungo-build and its Lean worker. An internal part of lungo: depend on `lungo` and `lungo-build`. 110 19h ago lungo-codegen cargo 1.88.0 clean The Rust backend: Bridge IR to Rust. An internal part of lungo: depend on `lungo` and `lungo-build`. 92 19h ago jigor-cli cargo 0.1.12 2 vulnerabilities 2 jigor CLI + HTTP gateway — serve/ask/models over the System One wire protocol (von/laya local ONNX, jev on OpenRouter Decisions) 91 18h ago cargo-privatecrates cargo 0.2.9 clean Set up PrivateCrates private registries from the command line: sign in, onboard an organisation, configure crate repositories for trusted publishing, and check… 87 1d ago cargo-credential-privatecrates cargo 0.2.9 clean Cargo credential provider for PrivateCrates private registries: GitHub device flow on developer machines, Actions OIDC in CI. 86 1d ago zygo-core cargo 0.1.6 clean Daemonless, rootless, OCI-compatible warm sandbox runtime — core library 83 1d ago lungo-build cargo 1.88.0 clean Compiles Lean projects into Rust at Cargo build time 61 19h ago fugo-sass-compiler cargo 0.15.1 clean The compiler behind fugo-sass, a Sass compiler written in Rust: its internals, with frequent breaking changes 57 1d ago synapto-llm-google cargo 0.1.0-dev.19 clean Google Gemini and Vertex AI LLM provider for the Synapto framework 53 15h ago lungo-driver cargo 1.88.0 clean The language-neutral lungo pipeline: builds a Lake project and analyses its compiled program. An internal part of lungo: depend on `lungo` and `lungo-build`. 52 19h ago cargo-ratcn cargo 0.0.6 clean Initialize Ratatui projects with ratcn and copy customizable components into your application 49 1d ago fugo-sass cargo 0.15.1 clean A Sass compiler written purely in Rust 49 1d ago cargo-phoxal cargo 0.4.0 clean The Phoxal project compiler and Cargo source-development command. 45 11h ago cargo-llvm-cov-ignore cargo 0.1.4 clean Run `cargo llvm-cov` with ignore capabilities and simple report 42 7h ago daf-algorithms cargo 0.2.0 clean Data-access algorithms for the Data Access Factory (DAF) 41 15h ago cargo-oil cargo 0.3.1 clean Oak Oil: lean, fast Rust builds. A Cargo-compatible build executor and content store, with verified cleanup of build residue. 38 1d ago cargo-repebble cargo 0.2.1 clean Cargo extension to easily build Rust Pebble apps 37 1d ago ecat-data-arangodb cargo not built 5.0.0 did not build ArangoDB graph database client for e-cat 34 10h ago bake-releases-cargo cargo 0.2.2 clean Cargo and GitHub release automation tasks for Bake 30 2d ago nagoya-kotsu-cli cargo 0.2.0 2 vulnerabilities 2 名古屋市交通局の市バス・地下鉄情報を取得するCLI 19 3d ago fugo-sass-macro cargo 0.15.1 clean The proc macro behind fugo_sass::include! 18 1d ago trigora-cli cargo 1.0.1 clean Trigora command line 18 3d ago cargo-mock cargo 0.0.2 clean Launcher for the mockspace design-round workflow engine: resolves the per-repo pinned mockspace, builds it once per version into a shared cache, and runs it… 15 5h ago altopelago-aeon-document cargo 0.14.0 clean Immutable, capability-aware document graph for AEON. 9 1d ago 