Explore projects

Canonical requiredPackages definitions for each Horizon package set

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

Engineering management processes, runbooks, and recurring checklists for bossypants

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

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

Quality control policies for gitlab.horizon-haskell.net — all changes via MR only