unpopped cargo 0.14.4 clean A vendor-neutral kernel generator: the backend-agnostic IR, plan, transform pipeline, contracts and dispatch artifacts, plus the `Backend` and `Compiler`… 715 2d ago loeres-cluster cargo 0.22.3 clean Loeres server-side solving: dynamic models, batch, orchestration, observability, and safe gateway contracts. std; server-only. 666 3d ago semlith cargo not built 0.38.0 did not build A fast local vector store for AI agents — index files once, keep it current as you save, and answer questions across all of it in milliseconds without leaving… 611 10h ago hekate-gadgets cargo 0.37.0 clean Base AIR gadgets for the Hekate ZK proving system. 588 3d ago spacedb-durability cargo 0.7.0 clean SpaceDB Layer 2 (cold path) — mesh durability: seal a dataset into a content-addressed, Reed-Solomon erasure-coded snapshot and reconstruct it from any k-of-n… 588 18h ago baracuda-transformer-engine cargo 0.0.1-alpha.86 clean Safe Rust wrapper for baracuda's port of NVIDIA TransformerEngine's FP8 cast/transpose + delayed-scaling recipe primitives. Provides `Fp8Recipe`… 584 4d ago vize_l2_to_l3 cargo 0.442.0 clean L2-to-L3 - the Davinci Impeto lowering and shared partition facts 582 14h ago teksilo-automation cargo 0.16.0 clean GUI-free runtime-introspection & automation toolkit for Teksilo apps (semantic tree + AT-action driving over serde DTOs). 561 1d ago hekate-verifier cargo 0.37.0 clean Analytical verifier for the Hekate ZK proving system: Fiat-Shamir replay, Sumcheck, Brakedown LDT, LogUp bus matching. 554 3d ago geometry-strategy cargo 0.0.12 clean Pluggable per-coordinate-system strategies (Pythagoras, Haversine, Vincenty, …), Boost.Geometry style. 478 2d ago loom-rs cargo 0.5.0 clean Weaving threads together - A bespoke thread pool runtime combining tokio and rayon with CPU pinning capabilities 459 2d ago oxiz-spacer cargo 0.3.4 clean Property Directed Reachability (PDR/IC3) engine for OxiZ - Horn clause solving 449 1d ago hekate-keccak cargo 0.10.0 clean Keccak-f[1600] AIR chiplet with SHA-3 and SHAKE sponges for the Hekate ZK proving system. 406 3d ago crabka-pgkv cargo 0.4.1 clean Ordered key-value storage seam for the Crabka Gres engine with order-preserving key encoding and versioned row encoding 366 4d ago arael-sketch cargo not built 0.9.0 did not build Interactive 2D sketch editor with real-time constraint solving 362 10h ago zisk-sdk cargo not built 1.3.2-alpha did not build High-level client SDK for proving and verifying programs on the ZisK zkVM 326 11h ago renamite-player-ui cargo 0.3.14 clean Repose embed widget driving a renamite Player (spine-style runtime shell). 324 25m ago rust-webx-spa cargo 0.5.1 clean rust-webx SPA: static file serving middleware 322 3d ago tsr_jsstring cargo 0.4.0 clean JavaScript strings and byte-preserving source text for tsr 292 1d ago opencode-codes cargo 1.19.0 clean Typed Rust SDK for the opencode agent server: serde models of its OpenAPI 3.1 HTTP/SSE protocol, plus an async (Tokio) client and a managed local-server… 250 5h ago crabka-playground cargo 0.3.9 clean WebAssembly bindings driving Crabka's deterministic KRaft consensus simulator in the browser 244 4d ago mcpmem cargo 3.0.6 1 vulnerability 1 MCP server giving LLM agents persistent memory: a SQLite knowledge graph with FTS5 search, tree-sitter code indexing (11 languages) with semantic code search,… 235 1d ago tailscale-cli cargo 1.3.2 clean 2.0.3 did not build Wrapper around the tailscale command-line interface for driving the local node 226 3d ago vize_l4 cargo 0.442.0 clean L4 - the Davinci emission level (codename Stesura): writer, expression rewriting, module assembly and targets 224 14h ago gedcomkit cargo 0.1.14 clean A byte-preserving GEDCOM document model: decoding, parsing, readings, version conversion, plausibility checks, and the GEDZIP container, for GEDCOM 5.5 through… 216 3h ago hyprforge-ui cargo 0.1.13 clean The iced widget layer built on hyprforge-look's shared theme, giving every Hyprforge app the same spacing scale, palette and widgets. 208 6h ago pdfrum-markdown cargo not built 0.5.0 did not build Markdown and layout-preserving text from a PDF page: the structure tree where there is one, typographic heuristics where there is not 181 10h ago efterscript-remelt cargo 0.0.7 clean The EfterScript distillation engine: runs a program compatible with the PostScript language, captures its marking operations, applies the distillation… 166 5d ago tsr_json cargo 0.4.0 clean Byte-preserving typed JSON encoding for tsr 150 1d ago ferrit cargo 0.10.0 7 vulnerabilities 7 The everyday git manager for the terminal: a full TUI for your repository, and an empty folder to GitHub without leaving it 149 4d ago 