owl-dl-verify cargo 0.4.36 clean Diagnostic verification harness for the rustdl OWL 2 DL reasoner. A `Violated` verdict is a lead requiring adjudication against a peer reasoner, not a proof of… 80 2d ago wickra-benchmark-cli cargo 0.2.0 clean Reference command-line runner over wickra-benchmark-core: recompute a curated case or suite against its datasets and report pass/hash-match, exiting non-zero… 79 2d ago farhand-templates cargo 1.10.3 clean Pluggable build templates with project/user/builtin resolution for Farhand 78 2d ago hoodrich cargo 0.1.1 clean Render markdown and source code as styled ratatui Text, with concealed/raw modes, diffs and Dracula code highlighting 77 23h ago mirmir cargo not built 0.4.2 did not build Native local model runtime, TUI, CLI, and OpenAI-compatible server 77 2d ago dioxus-shadcn-primitives cargo 0.6.2 clean Unstyled primitive state and accessibility helpers for dioxus-shadcn. 74 14h ago tst-hls cargo 0.7.0 clean HLS publisher for tstrans — MPEG-TS segmenter + playlist writer with an optional built-in HTTP server 74 2d ago ratagrid cargo not built 0.3.0 did not build A mouse-first interactive data grid for Ratatui 72 3d ago bloomery cargo 1.10.0 clean A lightweight, minimalist build system for Java written in Rust. 71 2d ago freyacn_macros cargo 0.1.7 clean Helper macros for freyacn 70 1d ago fv-streams cargo not built 0.7.0 did not build The FusionVault Streams standalone runner: run a stream pipeline defined in one TOML file against Kafka or Redpanda with no control plane, including the… 67 1d ago rightkit-ort cargo 0.2.0 clean Product-neutral ONNX Runtime dynamic-library resolution, environment, execution-provider and session setup (single suite ort pin) 65 9h ago validador cargo 1.0.1 clean Uma crate Rust para validação de dados comuns em projetos do dia a dia. Inclui validadores para CPF, CNPJ, e-mail, CEP, telefone, data, cartão de crédito,… 65 2h ago teshr cargo 0.2.1 clean A text-shaping tool for quick variable changes in an IDE or editor 64 2d ago forma-wgpu cargo 0.3.1 clean A wgpu renderer for forma draw lists. 63 2d ago rightkit-media cargo 0.2.3 clean Verified FFmpeg artifact and lifecycle primitives for Right Suite media pipelines. 63 10h ago decimix-finance cargo 0.1.4 clean Price, quantity and notional types built on decimix 62 2d ago fclock cargo 0.2.1 clean Rude Pebble-style word clock TUI 61 15h ago nizaam-core cargo 1.0.1 clean Domain-agnostic Rust infrastructure core for building secure, observable, reliable, and extensible Nizaam engines. 61 2d ago tishlang_ios cargo 1.4.0 clean UIKit native host for Tish JSX (tish:ios) 61 2d ago bobr-sandbox cargo 0.1.11 clean Sandboxed build execution for the bobr content-addressed build system. 60 1d ago bobr-source cargo 0.1.11 clean Source fetching and extraction (tarballs, archives, OCI) for the bobr build system. 60 1d ago pixel-change-check-client cargo not built 0.1.10 did not build Replicates your screen exactly and sends only the pixels that changed, over QUIC or a relay, to a native or browser viewer. 60 1d ago rigless cargo 0.1.0 clean Virtual hardware-in-the-loop runtime: run unmodified firmware on an emulated MCU with every peripheral, chip model and unit of virtual time in Rust, and a fork… 58 1d ago ridl-cli cargo 0.6.0 2 vulnerabilities 2 The `ridl` command-line toolchain: check, build, fmt, lock, diff, lsp, and mcp, over the shared compiler crates. 57 1d ago rightkit-shell cargo not built 0.1.3 did not build Shared Tauri desktop shell for Right Suite apps: webview hardening, window state, native menu, tray, single instance, deep links, autostart, rich clipboard,… 57 9h ago isl-ontology cargo 0.3.2 clean The IronSocketLayer ontology: TLS 1.3 and QUIC protocol knowledge as closed-vocabulary data for agents 56 1d ago lazymcp cargo 0.1.3 clean Thin, ergonomic macros for building MCP servers directly on the official rmcp SDK 56 1d ago ferryman-core cargo 0.2.3 clean Lock-free circuit breaker, prefix routing table, hot-reloadable TOML config and active health checks for the ferryman reverse proxy. 55 2d ago kylig-style cargo 0.1.4 clean Declarative TOML style sheets for egui 54 8m ago 