2. Nix DeployDeploy software or an entire NixOS system configuration to another NixOS system
5. Language NinjaA Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
7. ninja2nixA tool that generates a Nix derivation from a Ninja build file.
8. spectacleEmbedded specification language & model checker in Haskell