ruda-core cargo 0.1.5 clean Shared types, device contracts and utilities for Ruda. 2.2K 3d ago mobius-gateway cargo 0.16.28 clean Headless authenticated gateway for möbius frontends 2.2K 23h ago assura-stdlib cargo 0.6.0 clean Assura standard library contracts and prelude types 2.1K 2d ago boatramp-mcp cargo 0.14.0 clean boatramp — Model Context Protocol server (drive the control plane from an agent) 2.1K 16h ago figments cargo 0.0.4 clean A high performance graphics API for microcontrollers 2.1K 6h ago assura-resolve cargo 0.6.0 clean Name resolution and symbol table for the Assura contract language 2.1K 2d ago slpc cargo 0.6.0 clean Read, write, and validate Slipcase containers: a ZIP holding a content file and the TOML flyleaf that describes it 2.0K 1d ago assura-types cargo 0.6.0 clean Type checking for the Assura contract language 2.0K 2d ago arora cargo 12.1.0 13 vulnerabilities 13 Opinionated Arora runtime: an engine pre-wired with the native behavior-tree control nodes and the Semio backend. 2.0K 1d ago ct-utils cargo not built 0.0.1 did not build CT-utils contains types and behaviours which resolve at compile time. 2.0K 7h ago areev-core cargo 1.12.2 clean Core .mg format, canonical serialization, content addressing, and grain types for Areev. 2.0K 1d ago boatramp-cloudflare cargo 0.14.0 clean Cloudflare (CF Containers) compute backend for boatramp: map a ComputeSpec to a CF Container behind the edge Worker, and a native REST client for the deploy… 2.0K 15h ago moq-rtmp cargo 0.3.11 clean RTMP / enhanced-RTMP contribution ingest gateway for Media over QUIC 2.0K 2d ago hopr-strategy cargo 0.28.3 clean Contains implementations of different HOPR strategies 1.9K 14h ago phosphor-app cargo not built 0.3.97 did not build Shared business logic for Phosphor DAW frontends 1.9K 2d ago walletkit-db cargo 0.27.1 2 detections 2 Encrypted on-device storage abstractions for WalletKit (vault, content-addressed blobs, key envelope). 1.9K 1d ago assura-smt cargo 0.6.0 1 detection 1 SMT-based verification for Assura contracts via Z3 1.9K 2d ago assura-codegen cargo 0.6.0 clean Rust code generation from type-checked Assura contracts 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 10h ago msp430fr2433 cargo not built 0.3.0 did not build Peripheral access crate for TI MSP430FR2433 microcontroller 1.9K 1d ago assura-rust-analyzer cargo 0.6.0 clean Parse inline contract annotations from Rust doc comments 1.9K 2d ago nanocodex-oai-api cargo 0.6.7 clean Tower-native OpenAI Responses API and managed context for Nanocodex 1.9K 1d ago cramino cargo not built 0.9.0 did not build A tool to quickly extract quality metrics from bam or cram files 1.8K 7h ago fea-rs-ast cargo 0.3.0 clean fontTools-like AST wrapper around fea-rs parser 1.8K 1d ago saddle-core cargo 0.3.35 clean Shared contracts for Saddle components 1.8K 7h ago chematic-mcp cargo 1.0.37 clean MCP (Model Context Protocol) server for chematic — AI-agent-ready cheminformatics tools 1.8K 13h ago car-integrations cargo not built 0.56.1 did not build OS-native account-bound integrations (Calendar, Contacts, Mail) for CAR 1.8K 15h ago visit-flow cargo 0.0.35-canary.dcb610dea9 clean Zero-dependency visitor control-flow primitives: VisitFlow and the try_visit! macro. 1.7K 22h ago epics-rtems-boot cargo 0.31.0 clean RTEMS boot shim (POSIX_Init + kernel configuration), link contract, and the per-OS IOC statistics funnel for epics-rs IOCs 1.7K 1d ago areev-store cargo 1.12.2 clean Content-addressed embedded store with hybrid recall (Turso/SQLite) for Areev. 1.7K 1d ago 