baracuda-ozimmu-sys cargo 0.0.1-alpha.86 4 detections 4 Build + raw FFI bindings to baracuda's clean-fork of Hiroyuki Ootomo's ozIMMU — the Ozaki-scheme FP64 GEMM library that synthesizes a DGEMM from S² int8… 781 21h ago ogeom-bool cargo 0.9.11 clean Boolean operations: general fuse and the filters over it 652 11h ago baracuda-ozimmu cargo not built 0.0.1-alpha.86 did not build Safe Rust wrapper for baracuda's clean-fork of Hiroyuki Ootomo's ozIMMU — Ozaki-scheme FP64 GEMM that synthesizes a DGEMM from S^2 int8 tensor-core matmuls.… 644 21h ago oxideav-qoi cargo 0.1.7 clean Pure-Rust QOI (Quite OK Image) reader and writer for the oxideav framework — clean-room implementation of the qoiformat.org one-page specification 628 1d ago owl-dl-datatypes cargo not built Datatype reasoners (xsd:boolean, xsd:integer, xsd:string, ...) for rustdl 589 2d ago dynamo-truthy cargo 1.5.1 clean Canonical truthy/falsy boolean flag parsing for Dynamo 587 1d ago oxideav-pict cargo 0.0.5 clean Pure-Rust PICT (Apple QuickDraw picture) reader for oxideav — clean-room from Inside Macintosh 586 1d ago oxideav-icer cargo 0.0.6 clean Pure-Rust ICER (JPL wavelet image compressor, Mars rover heritage) — clean-room from Kiely & Klimesh IPN PR 42-155 (2003) 575 1d ago fissile cargo 0.11.1 clean Steer agents toward leaner files — fewer tokens, architecture intact. 459 2d ago discrtree cargo 0.64.0 clean Find Lean declarations by shape and lift them into a proof 445 2d ago ogeom cargo 0.9.11 clean A boundary-representation CAD kernel: geometry, topology, booleans, blends, offsets, tessellation, drawings and exchange 339 11h ago net-mesh-wire cargo 0.41.1 clean Net mesh wire layer: packet protocol, Noise handshake, packet AEAD, reliability, sessions and the routing envelope. tokio-free and wasm32-clean. 199 11h ago lungo-runtime cargo 1.88.0 clean The Lean runtime, in Rust, that generated code runs on. An internal part of lungo: depend on `lungo` and `lungo-build`. 176 14h 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 2d ago zim-core cargo 0.2.0 clean Zim core: the vault data model — filesystem, content store, linked data. Iroh-free, wasm-clean. 142 1d 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 14h ago lungo cargo 1.88.0 clean Runtime and facade types for Rust code generated from Lean by lungo-build 113 14h 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 14h 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 1d ago lungo-build cargo 1.88.0 clean Compiles Lean projects into Rust at Cargo build time 61 14h 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 1d 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 completr-cli cargo 0.2.3 1 vulnerability 1 Command-line tool for completr databases: inspect, import, complete, compact, clean up and ingest 33 6h ago degunk cargo 0.1.3 3 vulnerabilities 3 A fast, interactive dependency and build artifact cleaner 28 1d ago rust-fs-erofs cargo 0.4.0 clean Pure-Rust EROFS (Enhanced Read-Only File System) reader and writer. Clean-room implementation; reads mkfs.erofs 1.9 images (LZ4/LZMA/DEFLATE/ZSTD,… 22 1d ago rust-fs-squashfs cargo 0.4.0 clean Pure-Rust SquashFS (read-only) filesystem driver. Clean-room implementation; reads SquashFS 4.0 images with every standard compressor (gzip, xz, lz4, zstd,… 21 1d ago h5i-app cargo 0.1.1 clean The Axum-based application framework for h5i. Write application logic in Rust and prove its properties in Lean 4. 16 2d ago chock cargo 0.1.1 clean Quality gates for Rust: new code must be clean, and existing debt can only go down. 53 checks, one exit code, JSON for agents. 10 21h ago 