trekr cargo 0.8.8 clean 0.9.3 did not build Ruby code intelligence: position→meaning, definition→references. 255 4d ago rusty_time-nts cargo 0.3.0 clean Network Time Security (RFC 8915) for NTP: the NTS-KE record layer, AES-SIV extension field AEAD, and server cookies. Pure Rust, wasm-clean, no C toolchain. 252 2h ago lungo-runtime cargo 1.106.540 clean The Lean runtime, in Rust, that generated code runs on. An internal part of lungo: depend on `lungo` and `lungo-build`. 227 3h ago net-mesh-wire cargo 0.42.0 clean Net mesh wire layer: packet protocol, Noise handshake, packet AEAD, reliability, sessions and the routing envelope. tokio-free and wasm32-clean. 199 2d ago hyprforge-keys cargo 0.1.12 clean The suite's keyboard grammar: one Combo parser, a Keymap generic over each app's actions, and one merge policy for user overrides, so Ctrl+Shift+N means the… 183 9h ago sigilbuzz cargo 0.24.0 clean Pure-Rust, clean-room text shaping engine with a HarfBuzz-style API. No runtime dependencies, works in no_std. 172 5d ago lungo cargo 1.106.540 clean Runtime and facade types for Rust code generated from Lean by lungo-build 157 3h ago lungo-bir cargo 1.106.540 clean Bridge IR: the versioned compiler boundary between Lean and the Rust backend. An internal part of lungo: depend on `lungo` and `lungo-build`. 144 3h ago zim-core cargo 0.2.0 clean Zim core: the vault data model — filesystem, content store, linked data. Iroh-free, wasm-clean. 142 4d ago lungo-protocol cargo 1.106.540 clean The versioned protocol between lungo-build and its Lean worker. An internal part of lungo: depend on `lungo` and `lungo-build`. 129 3h ago phalus cargo not built 0.8.0 did not build Private Headless Automated License Uncoupling System — AI-powered clean room software reimplementation 120 2h ago astli-fmt cargo 0.3.0 clean SystemVerilog formatter that leaves the preprocessed meaning unchanged 118 3d ago fieldopt-core cargo 0.8.1 clean Field-survey design under real field cost: travel matrices, GRASP routing of field work (TSP/VRP), spatially balanced sampling (local pivotal method),… 118 12h ago video-types cargo 0.1.1 clean What a video's pixels mean: colour, HDR and per-frame metadata, and 360°/stereo geometry descriptors. A dependency-light leaf shared by parsers, GPU processing… 97 21h ago r2e-tenant cargo 0.6.0 clean Multi-tenant bean routing for R2E - per-tenant resource maps, resolvers, and extractors 95 4h ago urge-engines cargo not built 0.1.4 did not build URGE logic engine implementations: Boolean, Modal, Deontic, Temporal, Epistemic, Fuzzy, Paraconsistent 94 2h ago arris-ops cargo 0.6.0 clean Arris kernel: primitives, sweeps, transforms, booleans and mass properties 88 2d ago lungo-build cargo 1.106.540 clean Compiles Lean projects into Rust at Cargo build time 74 3h ago mdhtml-crate cargo 0.1.40 clean A bounded-time, Pandoc-leaning Markdown parser with GFM, Extra/kramdown, math, fenced divs, and MDHTML output. 73 4d ago tapirscan cargo 1.3.0 clean Barcode scanning with source-image geometry and reusable Rust scanners 66 15h ago cadkit-dwg cargo 0.3.0 clean Clean-room DWG reader (R14 through 2018). 56 1d ago spacelens cargo 0.3.2 clean Scan disk usage and find cleanup candidates for development projects. 54 4h ago cadkit-dgn cargo 0.3.0 clean Clean-room DGN V7 and V8 reader and seed-based DGN V8 writer. 51 1d ago typelisp-front cargo 0.2.1 clean Type checker, interpreter, module loader and standard library of typelisp. Internal crate of typelisp; not meant to be used directly. 47 1d ago typelisp-mem cargo 0.2.1 clean Cons heap and garbage collector of typelisp. Internal crate of typelisp; not meant to be used directly. 44 2d ago chock cargo 0.5.0 clean Quality gates for Rust: new code must be clean, and old debt has a limit that each fix lowers. 55 gates, one command, JSON for agents. 43 3h ago nightshift-cli cargo 0.3.0 3 vulnerabilities 3 Let your favourite AI coding agents work the night shift. An agent-agnostic CLI that resolves GitHub issues in dependency order, one clean session per issue. 40 4d ago typelisp-abi cargo 0.2.1 clean Calling convention shared by typelisp's compiled code and its runtime. Internal crate of typelisp; not meant to be used directly. 40 2d 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 3d ago lungo-cli cargo not built 1.106.540 did not build The lungo command: generate C, Go, Python, Swift, TypeScript and Rust from Lean programs 37 2h ago 