Desktop disk cleaner and space analyzer for macOS, Windows, and Linux with duplicate, large-file, uninstall, and startup management.
The Destructive Command Guard (dcg) is for blocking dangerous git and shell commands from being executed by agents.
An Axum-based Rust web framework for building and verifying web apps with Lean 4, featuring optional GPU acceleration and integrated development infrastructure for red-teaming and CI/CD.
Migrate C code to Rust
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you donβt have to.
Source code of Ferrocene, safety-critical Rust toolchain
Hermes is a desktop browser that combines the memory safety of Rust, the parallel architecture of the Servo Web Engine, and a lightweight native interface built with Slint.
Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases
A flexible web framework that promotes stability, safety, security and speed.
Rust newtype with guarantees πΊπ¦ π¦
Data interchange with algebraic data types.
An AT Protocol implementation prioritizing community safety and self-governance, written in Rust.
Think before doing, prove before saving. Vestige is a local, deterministic safety kernel for AI agents. Every memory write and agent action is recorded in Strata, an append-only log, so you can see exactly what your agent did and why.
Run AI agents in a sandbox that restricts what they can execute, read, write, and reach on the network. Box combines OS isolation with default-deny Dogwood policies and credential injection that keeps secrets outside the agent. Written in Rust. Supports macOS on Apple silicon, with Linux support planned.
A professional and creative text-based adventure game in Rust, showcasing memory safety and idiomatic patterns.
Safety-first Linux cleanup, application uninstall, disk analysis, and system status CLI written in Rust.