GitHub / mattam82 issue stats
Total issues: 57
Total pull requests: 418
Merged pull request: 324
Average time to close issues: about 1 month
Average time to close pull requests: 26 days
Average comments per issue: 2.96
Average comments per pull request: 1.41
Issues created
- CertiCoq/certicoq: 9
- mattam82/coq: 6
- coq/coq: 5
- coq/rocq-prover.org: 4
- MetaRocq/metarocq: 4
- mit-pdos/perennial: 4
- coq/vscoq: 3
- aa755/squiggleeq: 2
- coq/stdlib: 2
- stedolan/malfunction: 2
- gares/opam-coq-shell: 2
- ocaml/opam: 2
- coq-community/docker-coq: 1
- coq/ltac2: 1
- rocq-prover/stdlib: 1
- mattam82/Coq-Equations: 1
- cpitclaudel/alectryon: 1
- skeuchel/needle: 1
- ocaml/ocaml.org: 1
- jasongross/slow-coq-examples: 1
- ocaml/dune: 1
- certicoq/certicoq.github.io: 1
- rocq-prover/rocq: 1
- coq/opam: 1
Pull requests created
- MetaCoq/metacoq: 59
- rocq-prover/rocq-prover.org: 52
- CertiCoq/certicoq: 50
- coq/coq: 29
- coq/opam: 27
- mattam82/Coq-Equations: 26
- coq/rocq-prover.org: 24
- metarocq/rocq-verified-extraction: 20
- rocq-prover/opam: 16
- ocaml/opam-repository: 12
- MetaRocq/metarocq: 11
- rocq-prover/rocq: 10
- yforster/coq-malfunction: 9
- rocq-prover/stdlib: 7
- rocq-prover/coq.github.io: 7
- yforster/coq-verified-extraction: 5
- coq/stdlib: 5
- mit-plv/fiat: 4
- coq/repo-unstable-disabled: 3
- stedolan/malfunction: 3
- mit-pdos/perennial: 3
- coq/repo-stable-disabled: 2
- ocurrent/ocurrent: 2
- ppedrot/coq-forcing: 2
- aa755/squiggleeq: 2
- yforster/dockercoq: 2
- coq/vscoq: 2
- fblanqui/color: 2
- rocq-community/math-classes: 2
- LPCIC/coq-elpi: 2
- coq/repo-coqs-disabled: 1
- rocq-community/coq-ext-lib: 1
- ocaml/opam-repository-archive: 1
- coq/rfcs: 1
- cpitclaudel/alectryon: 1
- thomas-lamiaux/generating_recursors: 1
- hott/epit-2020: 1
- mit-plv/rewriter: 1
- coq/coq.github.io: 1
- bokuweb/vscode-git-grep: 1
- QuickChick/QuickChick: 1
- coq/platform-docs: 1
- mit-plv/bedrock2: 1
- mit-plv/kami: 1
- uds-psl/metacoq_plugins: 1
- coq/platform: 1
- rocq-community/paramcoq: 1
- rocq-community/aac-tactics: 1
Maintainer
- MetaCoq/metacoq: 59
- CertiCoq/certicoq: 59
- rocq-prover/rocq-prover.org: 52
- coq/coq: 34
- coq/rocq-prover.org: 28
- coq/opam: 28
- mattam82/Coq-Equations: 27
- metarocq/rocq-verified-extraction: 20
- rocq-prover/opam: 16
- MetaRocq/metarocq: 15
- rocq-prover/rocq: 11
- yforster/coq-malfunction: 9
- rocq-prover/stdlib: 8
- rocq-prover/coq.github.io: 7
- coq/stdlib: 7
Active Maintainer
- rocq-prover/rocq-prover.org: 52
- coq/rocq-prover.org: 28
- coq/coq: 19
- rocq-prover/opam: 13
- coq/opam: 12
- rocq-prover/rocq: 11
- CertiCoq/certicoq: 8
- rocq-prover/stdlib: 8
- mattam82/Coq-Equations: 6
- coq/stdlib: 6
- mattam82/coq: 6
- metarocq/rocq-verified-extraction: 5
- coq/vscoq: 5
- MetaRocq/metarocq: 5
- MetaCoq/metacoq: 4
Issue Author Associations
- Member (22, 38.60%)
- None (11, 19.30%)
- Collaborator (11, 19.30%)
- Owner (7, 12.28%)
- Contributor (6, 10.53%)
Pull Request Author Associations
- Member (280, 66.99%)
- Collaborator (67, 16.03%)
- Contributor (36, 8.61%)
- Owner (26, 6.22%)
- None (9, 2.15%)
Top Issue Labels
- bug (2)
- kind: bug (2)
- needs: triage (2)
- enhancement (1)
- good first issue (1)
- coq (1)
- part: extraction (1)
- difficulty: hard (1)
- part: coinductives (1)
- part: cofixpoints (1)
- packages (1)
Top Pull Request Labels
- needs: rebase (7)
- stale (7)
- needs: full CI (7)
- kind: documentation (7)
- kind: fix (6)
- consider for merge (4)
- kind: feature (3)
- kind: infrastructure (3)
- part: coqdoc (2)
- kind: user messages (2)
- part: tools (2)
- part: rewriting tactics (1)
- kind: redesign (1)
- part: hints (1)
- needs: changelog entry (1)