krabka-verified cargo 1.0.5 none none Formally verified pure kernels (Creusot) shared by Krabka crates 24 1d ago mvs-sdk-sys cargo – 0.1.1 did not build – Unofficial raw FFI bindings for the Hikrobot MVS industrial camera SDK (MvCameraControl). 24 10d ago prospicio-math cargo 0.0.3 none none Numerical engine: special functions, small dense linear algebra, root finding, quadrature, optimization. 24 3h ago rsphp-macros-rs cargo – 0.1.1 did not build – Rust macros to do not correspond to PHP's C macros 24 3d ago skilj-bridge cargo 0.0.10 none none The skilj REST client side the message-broker bridges (skilj-kafka/skilj-amqp/skilj-nats) share: consuming and acknowledging events, recording or triggering… 24 4d ago touchstone-harness cargo 0.1.1 none none Conformance battery runner: adapter trait, exec protocol, scoring 24 10d ago yoagent-rutis cargo 0.3.0 none none Extend yoagent agents at runtime with rutis plugins, as one yoagent Extension: tools, tool policy, output filters, turn notes, input checks, verifiers and… 24 3d ago zeroclaw-api-client cargo 0.2.0 none none Independent, typed, resilient async client for the ZeroClaw gateway (HTTP, events, chat). Not affiliated with ZeroClaw Labs. 24 1d ago bobr-repo cargo 0.1.12 none high Remote repository format, client, and publisher for bobr. 23 3h ago boombox cargo 0.2.2 none 1 vulnerability 1 A Spotify client for the terminal: a TUI and a scriptable CLI over the same core. 23 9d ago drew-physics cargo 0.2.0 none none Moteur de simulation physique 2D agnostique, no_std, sans allocation et optimisé f32 23 9d ago ek-core cargo 0.3.0 none none Business-agnostic plugin host and actor-over-bus runtime on top of ek-event: capability index with runtime service discovery, per-plugin actor workers, dynamic… 23 6d ago ferrocad_types cargo 0.1.2 none none FerroCAD base value types: quantities, units, and geometry (Vector3, Matrix4, Rotation, Placement) 23 9d ago hyprforge-setup cargo 0.1.14 none none The steps that finish a Hyprforge install — services, keybinds, idle lock, notification blur, default apps, the open/save dialog — each checked, applied and… 23 4d ago irc_library cargo 0.1.2 none none An IRC protocol library 23 3d ago octelium-apis cargo 0.1.4 none none Generated Rust protobuf types and gRPC clients for the Octelium Cluster APIs 23 8d ago queueflow-client cargo 0.6.0 none none Hand-written Rust client for the QueueFlow REST API, including the remote worker protocol. Reuses the engine's domain types, so requests and responses can… 23 3d ago ring_event cargo 0.3.1 none none Slot translators that fill a claimed slot 23 1d ago shielded_labs_snow cargo 0.10.0 none none ShieldedLabs fork of snow, a pure-rust Noise Protocol Framework implementation: StatelessTransportState is Clone, for key use overlapping a rekey 23 1d ago shielded_transport_pigeon cargo 0.2.0 none none Shielded Transport Pigeon, STP, is an encrypted optionally reliable UDP transport layer that does not use TLS. 23 2d ago temper-rs cargo 0.7.0 none none Temper - Quantum-safe cryptographic protocol with hardened entropy and dual PQC signatures. Fully no_std for embedded. 23 5d ago actl-mcp cargo 0.2.3 none none actl MCP adapter: remote access service for the controlled Windows device (docs/82; async allowed in this crate only — ADR-001 amendment) 22 2d ago json-traits cargo 0.1.1 none none Server-side helper for leaf-validator style PATCH updates: flatten JSON, diff documents, and match dotted paths 22 7d ago knishio-kcore cargo – 0.2.0 did not build – Static FFI binding of KnishIO-Crypto-Core 0.1.0 (WOTS+ chains and address) for the Knish.IO Rust SDK. 22 2d ago nlr-scan cargo 1.4.0 none none Sliding-window motif scanning for FastNLR 22 6d ago pkcs11-proxy-ng cargo – 0.2.2 did not build – PKCS#11 remote proxy daemon for Linux token providers 22 9d ago resocks5-net cargo 0.3.0 none none Reusable proxy networking toolkit: SOCKS5/HTTP/HTTPS upstream connectors, a pre-connect TCP pool, a sand-rating soft-weight rotator with exponential decay, and… 22 2d ago vla-lang cargo 0.9.4 none none The VLA language with nothing around it: forms, their expansion, the grid, the view record, and the machine that steps a grid 22 8h ago aria-segmentation cargo 0.2.0 none none Speaker segmentation with pyannote models, for aria-kit 21 13h ago gripsack-buildkit cargo 0.46.0 none none Gripsack-owned BuildKit adapter: bounded bridge protocol, worker lease policy and LLB validation (Epic B) 21 6d ago 