Explore projects

NixLab — a nix-native Haskell source control server with zero-config flake CI and extensible module system

Declarative agent provisioning via NixOS and home-manager. Each agent gets a user account, home-manager config, and PROMPT.md.

Haskell library + CLI for local model inference via Ollama with tool calling support

Engineering management processes, runbooks, and recurring checklists for bossypants

Algebraic analysis of software architecture — initial algebras, coalgebras, free constructions, and compositional design patterns applied to Nix module systems and agent infrastructure