key | value |
---|---|
id | 190182583 |
name | templates |
full_name | coq-community/templates |
html_url | https://github.com/coq-community/templates |
description | Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48] |
created_at | June 4, 2019, 10:48 a.m. |
updated_at | Feb. 5, 2024, 8:47 p.m. |
pushed_at | Jan. 26, 2024, 6:44 a.m. |
size | 171 |
stargazers_count | 12 |
watchers_count | 7 |
forks_count | 8 |
open_issues | 24 |
language | Mustache |
awesome_list |