Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / yforster issue stats
Total issues: 17
Total pull requests: 89
Merged pull request: 68
Average time to close issues: 5 months
Average time to close pull requests: about 2 months
Average comments per issue: 2.65
Average comments per pull request: 2.99
Issues created
Pull requests created
- uds-psl/coq-library-undecidability: 33
- MetaCoq/metacoq: 17
- CertiCoq/certicoq: 14
- yforster/coq-verified-extraction: 9
- yforster/test-workflows: 3
- coq-community/coq-tricks: 2
- stedolan/malfunction: 2
- coq/ceps: 2
- coq/platform: 2
- coq/opam: 1
- amahboubi/continuity-zoo: 1
- mattam82/constructors: 1
- coq-community/docker-coq-action: 1
- coq-community/metaprogramming-rosetta-stone: 1
Maintainer
- uds-psl/coq-library-undecidability: 38
- MetaCoq/metacoq: 21
- CertiCoq/certicoq: 14
- yforster/coq-verified-extraction: 9
- yforster/test-workflows: 3
- coq-community/coq-tricks: 2
- coq-community/manifesto: 2
- coq-community/docker-coq-action: 1
- coq-community/metaprogramming-rosetta-stone: 1
- amahboubi/continuity-zoo: 1
Active Maintainer
Issue Author Associations
- Member (11, 64.71%)
- Contributor (3, 17.65%)
- None (3, 17.65%)
Pull Request Author Associations
- Member (68, 76.40%)
- Owner (12, 13.48%)
- Contributor (5, 5.62%)
- None (3, 3.37%)
- Collaborator (1, 1.12%)
Top Issue Labels
- platform: windows (2)
- move-project (2)
- enhancement (1)
- maintainer-wanted (1)
- coq-library (1)
- coq-plugin (1)