GitHub repository: Durbatuluk1701/coq-templates
Primary language: Mustache
Description: Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]