Projects
This is a collection of software, infrastructure, research tools, and experiments I have built over the years. Each page links to code or other source material when it is public.
Featured projects
These projects represent my favorite recent projects.
A completed Rust solver, simulator, and machine-supported NP-completeness proof for finite-board predecessor existence.
Proved one-step finite-board predecessor existence NP-complete and built the solver, compiler, certificates, and independently checked proof artifacts behind the result.
Eight bare-metal nodes for self-hosted services, Ceph storage, and local AI inference.
Three compute nodes, three storage nodes with 36 TB raw NVMe capacity, and two NVIDIA GB10 workers, managed through Argo CD.
Completed Raspberry Pi prototype for quantized, cross-camera person re-identification at the edge.
Demonstrated a distributed edge pipeline that retained 79% ReID mAP after INT8 quantization while reducing measured runtime.
Project archive
Smaller tools, experiments, and older work that I still want to keep available.
Astro, Axum, and WebAssembly, packaged together and self-hosted on Kubernetes.
Shared project and research collections, browser tests, and separate staging and production deployments.
Rust lecture notes and runnable examples for developers learning the language.
The demo runner can execute one example, a whole section, or the complete set of demonstrations.
A Lua-based Neovim setup for coding, Git, and Markdown in Ghostty and tmux.
Plugin modules group navigation, language tooling, formatting, and terminal integration by workflow.
An early Rust experiment in key derivation and credential storage, with unfinished persistence.
Implemented cryptographic helpers and credential operations; the application has known security and persistence defects.
Programming exercises, small scripts, and Linux desktop configuration.
Includes Rust and C++ exercises, a tic-tac-toe board enumerator, and Arch/Hyprland configuration.