mdspan-cute
A zero-overhead bridge between C++23 std::mdspan and CUTLASS cute layouts. Includes Lean 4 formalization of NVIDIA's layout algebra (26 theorems, 0 sorry) with properties extracted to RapidCheck tests. Correct by construction.
Open Source Projects
Department of Public Works
Public contributions to the computational infrastructure of modern software development.
All projects are released under permissive licenses and maintained in accordance with community standards.
nix2gpu
A Nix module system that generates containers for GPU markets like vast.ai and runpod.io. Provides reproducible environments with CUDA 12.8, Tailscale networking, and modern shell tooling. Turn heterogeneous GPUs into coherent compute clusters with deterministic builds.
nimi
A lightweight process manager designed as Tini-like PID 1 for containers and NixOS modular services. Reads JSON configuration, launches services with clean environments, streams logs to console, and handles shutdown and restart policies consistently. Written in Rust and Nix for minimal containerized environments.
hacker-flake
A Nix flake providing development environments for C++ compilation and debugging. Offers streamlined tooling with compiler flags optimized for competitive programming and low-level systems work, including integrated debugging with pwndbg and memory analysis capabilities.