Tools we've built and released to the community.Use them, fork them, make them better.
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.
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.
A lightweight process manager designed as a 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.
A Nix flake providing development environments for C++ compilation and debugging. Streamlined tooling with compiler flags optimized for competitive programming and low-level systems work, including integrated debugging with pwndbg and memory analysis.
All projects maintained by Fleek. Contributions welcome.
Check out our repos on GitHub. PRs welcome.