GitHub repository: GaloisInc/BESSPIN-Environment
Primary language: Nix
Description: The BESSPIN environment provides toolchains, images, and environment variables--managed with the Nix package manager--needed to use the BESSPIN projects.