fabio-rovai / open-ontologies
Rust CLI and MCP server that plans, applies and rolls back changes to an OWL ontology, reporting blast radius and emitting checkable Lean 4 proofs.
fabio-rovai / open-ontologies
rustrak / rustrak
Ultra-lightweight error tracking server compatible with Sentry SDKs
console-rs / indicatif
A command line progress reporting library for Rust
xd009642 / tarpaulin
A code coverage tool for Rust projects
datavzrd / datavzrd
A tool to create visual HTML reports from collections of CSV/TSV tables
rust-minidump / rust-minidump
Type definitions, parsing, and analysis for the minidump file format.