Explore projects

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

Canonical requiredPackages definitions for each Horizon package set

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

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

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