Open-source web studio for generating AI images and videos through 600+ hosted models from one interface.
Desktop proxy that routes blocked or slow developer requests, mainly GitHub and Stack Overflow, through domestic acceleration channels via a local HTTPS proxy.
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.
Free, open-source macOS cleaner covering cache, Xcode, Homebrew, app uninstalling, and storage exploration, with no telemetry or subscription.
A self-hostable personal dashboard for homelabs with status checks, widgets, themes, icon packs, and a UI config editor.
Scans repositories, filesystems, and chats for leaked credentials, then verifies whether each one is still live.
A teaching operating system: a re-implementation of Unix Version 6 in ANSI C for RISC-V multiprocessors, running on QEMU.