assura-smt cargo 0.6.0 1 detection 1 SMT-based verification for Assura contracts via Z3 1.9K 4d ago assura-codegen cargo 0.6.0 clean Rust code generation from type-checked Assura contracts 1.9K 4d ago atomic-utils cargo 0.0.0-reserved clean non global, configurable and fast concurrent resource reclamation 1.9K 2d ago anycow cargo 0.1.0 clean A supercharged container for read-heavy, occasionally-updated data structures with multiple storage strategies 1.9K 2d ago msp430fr2433 cargo not built 0.3.0 did not build Peripheral access crate for TI MSP430FR2433 microcontroller 1.9K 3d ago rff-format-ts cargo 0.2.2 clean Remade FFmpeg (Rust): MPEG-TS (MPEG-2 Transport Stream) container. 1.9K 1d ago rusty_vp9 cargo 0.1.2 clean Pure-Rust VP9 video decoder + encoder, no C/FFI. Decoder bit-exact against all 315 official libvpx conformance vectors. 1.9K 2d ago assura-rust-analyzer cargo 0.6.0 clean Parse inline contract annotations from Rust doc comments 1.9K 4d ago nanocodex-oai-api cargo 0.6.7 clean Tower-native OpenAI Responses API and managed context for Nanocodex 1.9K 3d ago lowfat-core cargo 0.9.0 clean Core types, config, tokens, SQLite tracking for lowfat 1.8K 1d ago heddle-git-projection cargo 0.30.0 clean Git projection engine: bidirectional conversion between Heddle state and Git repositories. 1.8K 6h 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 1d ago polyc-eventlog cargo not built 2026.10.2 did not build Append-only conversation event log on a commonware-storage journal. 1.8K 2d ago axiolid-overlay cargo 0.3.12 clean Deterministic validated planar overlay contract 1.8K 2h ago cljrs-project cargo 0.2.26 clean clojurust project layer: cljrs.edn configuration, dependency resolution, and git/VCS operations 1.8K 1d ago greentic-dw-operala-bridge cargo 1.2.0-dev.38037729227 clean NATS event bridge for the Greentic deep-worker runtime: consumes greentic.operala.request.v1 and dispatches to OperalaDispatchInvoker. 1.8K 3h ago aprender-train-lora cargo 0.70.3 1 vulnerability 1 LoRA/QLoRA configuration optimizer and memory planner 1.8K 10h ago detamu-model cargo 0.2.0 clean World-model, analyzer, and scoring extension contracts for Detamu 1.8K 1d ago atomics cargo 0.3.3 clean Basic utils for concurrent programming. Backoff, spinlocks, seqlock, atomic type wrappers. 1.8K 2d ago assura-pipeline cargo 0.6.0 1 detection 1 Shared compiler pipeline for the Assura language 1.8K 4d ago rusty_av2d cargo 0.2.11 clean Pure-Rust AV2 video decoder, no C/FFI. Byte-identical to the AVM reference decoder across a 57-clip conformance corpus. 1.8K 1d ago saddle-core cargo 0.3.36 clean Shared contracts for Saddle components 1.8K 1d ago guinea-meta-build cargo 0.29.0 clean For build.rs: reads app.toml, embeds the executable's resources, and writes the constants guinea-meta reads 1.8K 1d ago car-integrations cargo not built 0.57.2 did not build OS-native account-bound integrations (Calendar, Contacts, Mail) for CAR 1.8K 2h ago moq-tokio cargo 0.19.22 clean Media over QUIC - Tokio connection helpers 1.8K 4d ago chematic-mcp cargo 1.0.37 clean MCP (Model Context Protocol) server for chematic — AI-agent-ready cheminformatics tools 1.8K 2d ago hekate-math cargo 0.12.1 clean Formally verified binary tower fields (F(2^k) to F(2^256)), constant-time by default, with hardware carry-less multiplication. For Sumcheck, GKR-based provers,… 1.8K 7h ago minigraf cargo 2.0.4 clean Zero-config, single-file, embedded graph database with bi-temporal Datalog queries 1.8K 10h ago mockforge-platform-signing cargo 0.3.231 clean HSM-backed platform signing-root for MockForge (RFC §8.2 / §9). Defines the PlatformSigner trait, AWS KMS backend, and dual-control rotation state machine used… 1.8K 11h ago tauri-plugin-syncular cargo not built 0.31.0 did not build A native syncular client inside the Tauri process, exposed to the webview as commands + events (consumes the Rust client core directly — no FFI) 1.8K 3d ago 