Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / spitters issue stats
Total issues: 43
Total pull requests: 28
Merged pull request: 24
Average time to close issues: about 1 year
Average time to close pull requests: 23 days
Average comments per issue: 7.81
Average comments per pull request: 1.5
Issues created
- HoTT/Coq-HoTT: 7
- coq/platform: 6
- coq/stdlib2: 2
- WasmCert/WasmCert-Coq: 2
- coq-community/math-classes: 2
- gkovacs/pdfocr: 2
- AU-COBRA/ConCert: 2
- coq-community/manifesto: 2
- mattam82/Coq-Equations: 2
- coq-community/coq-ext-lib: 1
- cpitclaudel/company-coq: 1
- ProofGeneral/PG: 1
- emersion/firefox-passwordmaker: 1
- simhu/cubical: 1
- skyskimmer/hottclasses: 1
- mit-plv/rupicola: 1
- AU-COBRA/coq-rust-extraction: 1
- CertiCoq/certicoq: 1
- WebAssembly/wasi-crypto: 1
- coq-community/corn: 1
- tchajed/coq-record-update: 1
- trailofbits/zkdocs: 1
- coq-community/coq-tricks: 1
- redprl/redtt: 1
- gmalecha/coq-smt-check: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (30, 69.77%)
- Member (7, 16.28%)
- Collaborator (5, 11.63%)
- Contributor (1, 2.33%)
Pull Request Author Associations
- Collaborator (15, 53.57%)
- Contributor (11, 39.29%)
- Member (2, 7.14%)
Top Issue Labels
- kind: package inclusion (4)
- approval: has maintainer agreement (4)
- help wanted (2)
- move-project (2)
- coq-library (2)
- question (1)
- kind: enhancement (1)
- Stale (1)