zaino-chain-store cargo 0.2.0 none none Domain types and ports for Zaino's finalised chain state. 70 8d ago whelk-el cargo 0.1.1 none none OWL 2 EL reasoner derived from Whelk and whelk-rs; portable, no I/O, optional parallelism 25 8d ago fonts-rs-noto-emoji-generator cargo 0.4.0 none none Build-time code generation and glyph export for Noto Emoji 14 8d ago uferris-bsp cargo 0.3.0 none none A Board Support Package for the uFerris Learner Board 121 8d ago rigorix-mcp cargo 1.9.5 none none MCP Gateway server for Rigorix — protocol types, transports, session management, tool routing, resource/prompt providers 279 8d ago cargo-sort-derives cargo 0.14.1 none none Cargo subcommand to sort derive attributes 178K 8d ago sailfish-minify cargo 0.11.5 none none Hacky but simple minification support for sailfish, using html-minifier by default 6.0K 8d ago tauri-plugin-android-update cargo – 0.3.3 did not build – GitHub-releases based updater for Tauri apps on platforms without tauri-plugin-updater support 331 8d ago vortex-rdf-encoded-search cargo 0.12.0 none none Bounds search and point access over compressed Vortex arrays without decoding 79 8d ago sbom-auditor cargo 1.6.32 none 2 ndaal SBOM Auditor — investigate uploaded/imported SBOM files 375 8d ago mwise cargo 0.1.0 none none mwise provides portable vectorized elementwise implementations of basic libm functions 12 8d ago decdn-cli cargo 0.0.3 none 3 User-facing deCDN CLI (decdn binary): probe, fetch, pools, publishing, origin import, node admin 20 8d ago babelforce-manager-sdk cargo 0.47.0 none none Rust SDK for the babelforce manager APIs — auth, user & agent management, call reporting, metrics, and task automations. 436 8d ago hammerwork cargo 3.0.0 none none A high-performance, database-driven job queue for Rust with PostgreSQL and MySQL support, featuring job prioritization, cron scheduling, event streaming… 18K 8d ago parterre-telemetry cargo 1.0.0 none none Internal to parterre: what it asks and sends over the network, the update check, the usage statistics and the crash reports. No stability promises. 8d ago olean-export cargo 0.3.0 none none Optimized library for reading Lean .olean files directly emitting lean4export-compatible NDJSON for external kernel checkers. 91 8d ago vlz-report cargo 0.14.1 none none Reporting trait for verilyze -- renders JSON, SARIF, HTML, etc. 88 8d ago vlz-sbom cargo 0.14.1 none none SBOM inventory plugin for verilyze (CycloneDX 1.x / SPDX 2.x+3.0 import, FR-038) 88 8d ago vlz-reachability cargo 0.14.1 none none Tier B import-based reachability hints for verilyze (FR-032) 78 8d ago parterre cargo 1.0.0 none 1 A standalone, TortoiseGit-style revision graph viewer for git repositories. 21 8d ago puerto cargo 0.13.0 none 13 Puerto — Rust full-stack DDD framework CLI. Scaffolds Clean Architecture projects with auto-wired DI, SQLx support, and zero manual wiring. Formerly… 80 8d ago maolan cargo – 0.3.2 did not build – Rust DAW application for recording, editing, routing, automation, export, and plugin hosting 319 8d ago fathomdb-cli cargo 0.8.27 none none FathomDB CLI — operator and diagnostics binary (fathomdb doctor, fathomdb export, ...). 383 8d ago jackdaw_sdk cargo – 0.19.0-rc.10 did not build – SDK facade shipped with Jackdaw. Extensions compile through it and import the shared Bevy and Jackdaw runtime libraries used by the editor. 133 8d ago openmassspec-io cargo 2.0.0 none none Vendor-neutral mass-spec I/O: feature-gated re-exports of opentfraw / opentimstdf / openwraw / openaraw / opensxraw / openszraw with auto-detection and an mzML… 426 8d ago calliope-mini cargo – 0.4.0 did not build – Board support crate for the Calliope mini 4.0K 8d ago dengjen-ort-adapter cargo 0.2.8 none none ONNX Runtime InferenceEngine adapter for dengjen-piper-rs 112 8d ago spate-avro cargo 0.3.0 none none Avro deserialization for the Spate framework: Confluent wire format, schema registry integration, and schema-evolution support. Applications should depend on… 425 8d ago spate-kafka cargo 0.3.0 none none Kafka source and producer sink for the Spate framework, built on rdkafka: a single consumer per process with partition queues fanned across pipeline threads,… 429 8d ago vetto cargo 0.6.5 none 3 Daemon-less sandbox + security layer for AI coding agents (Landlock/Seatbelt, TUI statusline, post-session audit reports) 656 8d ago 