GitHub repository: typelevel/typelevel-nix
Primary language: Nix
Description: Development tools for Typelevel projects