The Private Void infrastructure is built on NixOS. Software deployed on it is built with Nix. CI: Hercules CI Repo