Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / coq-community / templates

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/coq-community%2Ftemplates

Stars: 12
Forks: 8
Open Issues: 23

License: unlicense
Language: Mustache
Repo Size: 167 KB
Dependencies: 2

Created: almost 5 years ago
Updated: 4 months ago
Last pushed: 4 months ago
Last synced: 28 days ago

Topics: continuous-integration, coq, mustache-templates

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/lint.yml actions