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