Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / yforster issue stats
Total issues: 20
Total pull requests: 120
Merged pull request: 94
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.35
Issues created
Pull requests created
- uds-psl/coq-library-undecidability: 33
- MetaCoq/metacoq: 25
- CertiCoq/certicoq: 16
- yforster/coq-verified-extraction: 9
- yforster/test-workflows: 3
- uds-psl/autosubst-ocaml: 3
- coq/opam: 3
- metacoq/metacoq.github.io: 3
- uds-psl/coq-synthetic-computability: 3
- coq/platform: 2
- coq/ceps: 2
- stedolan/malfunction: 2
- coq-community/coq-tricks: 2
- coq-community/coqdocjs: 2
- coq/rfcs: 2
- uds-psl/base-library: 2
- uds-psl/autosubst2: 1
- amahboubi/continuity-zoo: 1
- uds-psl/coq-library-complexity: 1
- mattam82/constructors: 1
- coq-community/docker-coq-action: 1
- uds-psl/time-invariance-thesis-for-l: 1
- coq-community/metaprogramming-rosetta-stone: 1
- uds-psl/coq-library-fol: 1
Maintainer
- uds-psl/coq-library-undecidability: 38
- MetaCoq/metacoq: 29
- CertiCoq/certicoq: 16
- yforster/coq-verified-extraction: 9
- metacoq/metacoq.github.io: 3
- yforster/test-workflows: 3
- uds-psl/coq-synthetic-computability: 3
- uds-psl/autosubst-ocaml: 3
- coq-community/coqdocjs: 2
- uds-psl/base-library: 2
- coq-community/manifesto: 2
- coq-community/coq-tricks: 2
- uds-psl/autosubst2: 1
- uds-psl/coq-library-complexity: 1
- coq-community/docker-coq-action: 1
Active Maintainer
Issue Author Associations
- Member (13, 65.00%)
- None (4, 20.00%)
- Contributor (3, 15.00%)
Pull Request Author Associations
- Member (95, 79.17%)
- Owner (12, 10.00%)
- Contributor (7, 5.83%)
- None (5, 4.17%)
- Collaborator (1, 0.83%)
Top Issue Labels
- platform: windows (2)
- move-project (2)
- enhancement (1)
- maintainer-wanted (1)
- coq-library (1)
- coq-plugin (1)