GitHub repository: math-comp/math-comp-nix
Primary language: Nix
Description: Nix support for mathcomp packages