silicon-apps-package cargo 0.2.1 none none Safe package manifest validation, packing and extraction for Silicon Apps 40 3d ago sixer cargo 0.6.0 none none Hexagonal proc-macro runtime design helper 40 3d ago smtlite cargo 0.1.10 none none A small, pure-Rust QF_BV SMT solver: bitvector expressions bit-blasted to CNF and solved by a self-contained DPLL core. 40 4d ago sparse-vector-rs cargo 3.0.0 none none A sparse vector: a mapping from integer index to arbitrary value that stores only the positions differing from a default value. 40 5d ago strudel-dsl cargo 0.2.0 none 1 vulnerability 1 DSL parser and evaluator for Strudel pattern expressions 40 2d ago trusty-secrets cargo 0.1.6 none 1 vulnerability 1 Project- and owner-scoped secret storage for the trusty-* tools: key, scope and reference types, a names-only index, and an OS Keychain backend (DOC-74 §15). 40 2d ago caretline cargo 0.5.0 none none A replayable, drivable text-editing engine: Helix's editing model in a pure Elm architecture. The whole editor is one serializable state; every input is a… 39 4d ago causa-provider cargo 0.0.4 none none Causa — a minimal context kernel for Rust agents (facts, ports, adapters) 39 4h ago completr cargo 0.2.3 none none Serverless autocompletion engine for Rust and Python: exact, prefix, infix, abbreviation, spelling-tolerant, word-decomposing and semantic completions from… 39 6d ago modebox cargo 0.1.1 none none Sandboxed code execution for AI agents: run agent-written JS/TS in WebAssembly, shell commands in an OS sandbox, and an MCP code-mode server 39 12h ago odx-core cargo 0.0.3 none none Domain types, exit codes and IO traits shared by the odx crates 39 1d ago pdf-toolkit cargo 0.3.9 none none Pure Rust PDF toolkit: zero-copy no_std reader, text and reading order, renderer, writer and incremental editor 39 18h ago socket9 cargo 0.1.0-alpha.2 none none Extended untilities for the networking/unix sockets and raw network sockets 39 5d ago tableflow-geojson cargo 0.1.1 none none GeoJSON serializer for tableflow: geo responses to a FeatureCollection. 39 7d ago backbone-corporate cargo 0.7.0 none 1 vulnerability 1 Reference masters: Currency + CurrencyExchange (effective-dated FX), Territory, Incoterm, TermsAndConditions — the multi-currency prerequisite (posts NO GL) 38 15h ago cargo-oil cargo 0.3.1 none none Oak Oil: lean, fast Rust builds. A Cargo-compatible build executor and content store, with verified cleanup of build residue. 38 6d ago frust-url-launcher cargo 0.6.1 none none URL launcher plugin for Frust apps: opens an http or https URL in the default external handler on Android, iOS, macOS, Linux and Windows. 38 1d ago marcr cargo 0.2.0 none none Read and write MARC bibliographic records in ISO 2709, MARCXML and text formats 38 7d ago sprawling-runtime cargo 0.0.11 none none One run of a sprawling resident, from dispatch to freeze: turns, tools, replay and the sandbox that executes code. 38 4d ago turbospark-repack cargo 0.3.0 none none Safetensors header parsing, ranged-download planning, and int4/int8 repack into the .gturbo packed-expert layout. 38 1d ago benostreamdb cargo – 0.12.0 did not build – BenoStreamDB - Serverless Index-Streaming Database with Overlay Indexing and Vector Search 37 19h ago cargo-repebble cargo 0.2.1 none none Cargo extension to easily build Rust Pebble apps 37 6d ago mf2 cargo 3.0.0 none none Unicode MessageFormat 2 for Rust, for Leptos web applications and native CLI and terminal applications: the one crate an application names — the call-site… 37 5d ago octet cargo 0.2.2 none none Binary serialization with fallible byte sources, sinks, and contextual errors 37 3d ago rpi-acp cargo 0.1.3 none none Agent Client Protocol (ACP) stdio server extension for rpi — use rpi as an external agent in Zed 37 1h ago sid-opaque-ke cargo 4.1.0 none none The OPAQUE password-authenticated key exchange (RFC 9807), vendored from facebook/opaque-ke and kept on the current RustCrypto releases 37 4d ago wasm-dbms-sql cargo 0.11.0 none none SQL front-end (parser, planner, executor) for the wasm-dbms DBMS engine 37 3d ago arcbox-ssh cargo – 0.9.0 did not build – The ArcBox SSH server: `ssh <machine>@arcbox` into Linux machines over the machine exec path. 36 6d ago cgp-fork cargo 0.9.2 none none A language extension for Rust, with pluggable trait implementations at compile-time. 36 4d ago cqlc-core cargo 1.0.1 none none CQL lexer, parser, schema resolver, type checker and typed IR for cqlc 36 16h ago