Safety-first disk cleaner and space analyzer for macOS, Windows and Linux, with duplicate cleanup, app uninstall, startup management, system optimization, and maintenance.
- app-uninstaller
- cache-cleaner
- desktop-app
- disk-cleaner
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Safety guardrails for ai coding agents and human terminal commands
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
The open-source safety layer for AI agents — block unsafe tool calls, require approval, enforce budgets, audit, replay.
Type-safe async MQTT client for Rust. Topics as types, automatic routing and (de)serialization on top of rumqttc.