Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ppedrot issue stats
Total issues: 19
Total pull requests: 402
Merged pull request: 361
Average time to close issues: 3 months
Average time to close pull requests: 12 days
Average comments per issue: 3.21
Average comments per pull request: 2.84
Issues created
- coq/coq: 13
- mit-plv/fiat: 2
- coq/bot: 2
- bmsherman/topology: 1
- xavierleroy/camlzip: 1
Pull requests created
- coq/coq: 76
- mit-plv/fiat: 30
- mattam82/Coq-Equations: 29
- coq-community/paramcoq: 27
- Mtac2/Mtac2: 18
- lukaszcz/coqhammer: 13
- LPCIC/coq-elpi: 13
- coq-community/aac-tactics: 13
- mit-plv/fiat-crypto: 11
- QuickChick/QuickChick: 9
- rocq-archive/coq-serapi: 9
- coq-community/math-classes: 9
- coq/coq-bench: 8
- ejgallego/coq-serapi: 8
- coq-community/coq-dpdgraph: 8
- coq-tactician/coq-tactician: 7
- coq-community/corn: 6
- jwiegley/category-theory: 5
- coq-community/bignums: 5
- mit-pdos/perennial: 5
- MetaCoq/metacoq: 5
- skyskimmer/coq-lean-import: 4
- coq/ceps: 4
- fblanqui/color: 4
- coq/ltac2: 4
- uwplse/verdi: 4
- mit-plv/rewriter: 4
- coq/rfcs: 4
- imdea-software/fcsl-pcm: 4
- mit-plv/bbv: 3
- lpcic/elpi: 3
- PrincetonUniversity/VST: 3
- uwplse/verdi-raft: 3
- GeoCoq/GeoCoq: 3
- coq-community/atbr: 3
- ejgallego/coq-lsp: 3
- coq-community/coq-ext-lib: 2
- math-comp/mczify: 2
- mit-plv/engine-bench: 2
- coq-community/stalmarck: 2
- mit-pdos/argosy: 2
- mit-plv/rupicola: 2
- stedolan/malfunction: 2
- mit-plv/kami: 2
- mit-plv/bedrock2: 2
- camlp5/camlp5: 2
- mit-plv/riscv-coq: 2
- jasongross/coq-scripts: 1
- AbsInt/CompCert: 1
- jasongross/neural-net-coq-interp: 1
- math-comp/odd-order: 1
- tchajed/coq-array: 1
- rocq-archive/coq-in-coq: 1
- coq-community/coq-performance-tests: 1
- math-comp/finmap: 1
- impermeable/coq-waterproof: 1
- bmsherman/topology: 1
- coq-community/fourcolor: 1
- coq/opam: 1
- uwplse/cheerios: 1
Maintainer
- coq/coq: 89
- mattam82/Coq-Equations: 29
- LPCIC/coq-elpi: 13
- rocq-archive/coq-serapi: 9
- coq/coq-bench: 8
- ejgallego/coq-serapi: 8
- MetaCoq/metacoq: 5
- jwiegley/category-theory: 5
- coq/ceps: 4
- coq/rfcs: 4
- coq/ltac2: 4
- ejgallego/coq-lsp: 3
- coq/bot: 2
- coq/opam: 1
Active Maintainer
Issue Author Associations
- Member (15, 78.95%)
- None (2, 10.53%)
- Contributor (2, 10.53%)
Pull Request Author Associations
- Contributor (222, 55.22%)
- Member (97, 24.13%)
- Collaborator (72, 17.91%)
- None (11, 2.74%)
Top Issue Labels
- kind: bug (7)
- needs: triage (2)
- bug (2)
- part: modules (2)
- part: SProp (2)
- part: primitive types (1)
- kind: anomaly (1)
- part: unification (1)
- part: rewriting tactics (1)
- kind: infrastructure (1)
- part: test-suite (1)
- kind: user messages (1)
Top Pull Request Labels
- kind: cleanup (30)
- kind: upstream (17)
- kind: performance (16)
- kind: fix (9)
- kind: infrastructure (7)
- kind: experiment (5)
- needs: full CI (3)
- part: upstream (3)
- needs: rebase (2)
- kind: serialization (2)
- enhancement (2)
- kind: documentation (2)
- part: printer (1)
- kind: redesign (1)
- kind: feature (1)