GitHub repository: runtimeverification/nixpkgs
Description: Nix Packages collection & NixOS