smolfile cargo 1.26.1 clean Smolfile specification and parser for smolvm microVM workloads 1.9K 14h ago cube-core cargo 1.0.1 clean Cube core for 'kostka' simulation 1.9K 3d ago assura-rust-analyzer cargo 0.6.0 clean Parse inline contract annotations from Rust doc comments 1.9K 5d ago absolute_unit cargo 0.14.0 clean A unit system for Rust's type system to catch unit errors in your physical calculations. 1.9K 19h ago greentic-gui-dev cargo 1.2.38039119541 18 vulnerabilities 18 Greentic GUI runtime (Axum-based) that serves tenant packs, enforces auth, and exposes worker/session APIs plus a browser SDK. 1.8K 1d ago ppoppo-sdk-core cargo 0.55.0 clean Internal shared primitives for the Ppoppo SDK family (ppoppo-pas-external, ppoppo-pas-plims, ppoppo-pcs-external, ppoppo-pcs-session) — verifier port, audit… 1.8K 17h ago lenso-plugin-bundle cargo 0.6.2 clean Immutable Lenso Plugin Release manifests, bundle materialization, and verification. 1.8K 5d ago rusty_rtos_core cargo 0.2.6 clean The shared vocabulary of the Kairos family (FreeRTOS remade in Rust): ticks, priorities, generational handles, an index-linked remake of list.c, one Copy… 1.8K 2d ago axiolid-profile cargo 0.3.2 clean Exact 2D profile representations for sweeps and sectioned solids 1.8K 22h ago fraiseql-db cargo 2.16.0 clean Database abstraction layer for FraiseQL v2 1.8K 2d ago rustnix cargo not built 0.0.1 did not build A reimplementation of nix in Rust. 1.8K 2d ago polyc-eventlog cargo not built 2026.10.2 did not build Append-only conversation event log on a commonware-storage journal. 1.8K 3d ago cbh_command cargo 0.4.1 clean Implementation crate for cargo-bench-history - do not reference directly 1.8K 1h ago term-wm-crossterm-adapter cargo 0.10.15-alpha clean Crossterm-to-core event translation and terminal (mouse-capture) state adapter for term-wm. 1.8K 8h ago u-geometry cargo 0.4.1 clean Domain-agnostic computational geometry: primitives, polygons, NFP, collision detection, spatial indexing. 1.8K 3d ago rucc-verify cargo 0.24.8 clean SMT verification of the rucc rewrite and lowering rule set. 1.8K 5d ago axiolid-evaluate cargo 0.3.11 clean Analytic and spline curve/surface evaluation, jets, and inversion 1.8K 13h ago greentic-mcp-exec-dev cargo 1.2.38037747582 9 vulnerabilities 9 Greentic executor for running wasix:mcp-compatible WebAssembly components with policy-driven verification and sandboxing. 1.8K 1d ago stalker cargo 0.1.0 clean Yet another file watcher rust library with stabilization support 1.8K 2d ago cartog-lsp cargo 0.34.1 clean LSP-based edge resolution for cartog code graph 1.8K 1d ago cctop cargo 0.28.1 10 vulnerabilities 0.34.0 did not build 10 An htop-like terminal monitor for AI coding agent sessions on Linux (Claude Code, Codex, Cursor, Devin, Gemini CLI, OpenCode, Pi, Windsurf) 1.8K 3d ago uqa-core cargo 0.5.3 clean Document sets, finite-support relations, posting storage, and value types for UQA 1.8K 10m ago aprender-gpu cargo 0.70.3 clean Pure Rust PTX generation for NVIDIA CUDA - no LLVM, no nvcc 1.8K 2d ago protobuf3 cargo 2.27.2 clean Rust implementation of Google protocol buffers 1.8K 2d ago appletheia cargo 0.13.1 clean The Application Interfaces for Event-Sourcing Architecture 1.8K 4d ago cljrs-project cargo 0.2.26 clean clojurust project layer: cljrs.edn configuration, dependency resolution, and git/VCS operations 1.8K 2d ago encoding_rs2 cargo 0.8.36 clean A Gecko-oriented implementation of the Encoding Standard 1.8K 3d ago ps-blitz-shell cargo 0.5.2 clean Blitz application shell 1.8K 9m ago semver2 cargo 0.1.0 clean Semantic version parsing and comparison. 1.8K 2d ago sp1-gpu-commit cargo 6.9.0 8 detections 8 GPU commitment operations coordination for SP1 1.8K 1d ago 