GitHub / gares issue stats
Total issues: 212
Total pull requests: 413
Merged pull request: 328
Average time to close issues: 7 months
Average time to close pull requests: 30 days
Average comments per issue: 1.72
Average comments per pull request: 2.62
Issues created
- lpcic/elpi: 44
- math-comp/hierarchy-builder: 36
- LPCIC/coq-elpi: 28
- math-comp/mcb: 14
- rocq-prover/vscoq: 12
- lpcic/elpi-lang: 10
- coq/platform: 10
- coq/vscoq: 8
- cpitclaudel/alectryon: 4
- coq-community/coq-nix-toolbox: 3
- gares/sel: 3
- jscoq/jscoq: 3
- rocq-community/aac-tactics: 3
- math-comp/math-comp: 2
- rocq-community/corn: 2
- coq-community/docker-coq-action: 2
- gares/vscoq-language-server: 2
- math-comp/algebra-tactics: 2
- coq-community/vscoq: 2
- coq/coq: 2
- rocq-community/bignums: 2
- camlp5/camlp5: 2
- coq/bot: 1
- ocaml/flexdll: 1
- siegebell/vscoq: 1
- ocsigen/js_of_ocaml: 1
- amintimany/universecomparator: 1
- rocq-prover/platform: 1
- coq-tactician/coq-tactician: 1
- lysxia/coq-simple-io: 1
- rocq-community/manifesto: 1
- rocq-community/fourcolor: 1
- rocq-community/coq-nix-toolbox: 1
- Mtac2/Mtac2: 1
- ocaml/dune: 1
- math-comp/docker-mathcomp: 1
- rocq-archive/coq-serapi: 1
- sacerdot/minimalist-type-theory-in-lambda-prolog: 1
Pull requests created
- lpcic/elpi: 94
- LPCIC/coq-elpi: 73
- math-comp/hierarchy-builder: 52
- coq/rfcs: 18
- coq/platform: 15
- coq/coq: 13
- coq/vscoq: 13
- coq/opam: 8
- math-comp/mcb: 7
- lpcic/elpi-lang: 6
- math-comp/math-comp: 6
- gares/sel: 6
- ocaml/opam-repository: 6
- math-comp/math-comp.github.io: 5
- rocq-prover/vscoq: 5
- Mtac2/Mtac2: 4
- math-comp/odd-order: 4
- rocq-community/coq-dpdgraph: 4
- rocq-community/paramcoq: 3
- rocq-prover/coq.github.io: 3
- rocq-community/fourcolor: 3
- mattam82/Coq-Equations: 3
- math-comp/algebra-tactics: 3
- ecrancemerce/trakt: 3
- coq/ltac2: 3
- ybertot/one_num_type: 3
- rocq-community/lemma-overloading: 2
- imdea-software/fcsl-pcm: 2
- fissored/ho-unif-for-free: 2
- cpitclaudel/alectryon: 2
- pygments/pygments: 2
- ejgallego/coq-lsp: 2
- gares/math-comp-school-2022: 2
- MetaRocq/metarocq: 2
- bluerock-io/BRiCk: 2
- rocq-prover/opam: 2
- voodoos/mlts: 1
- math-comp/trajectories: 1
- lpcic/coq-elpi-lang: 1
- coq/ceps: 1
- uds-psl/autosubst-ocaml: 1
- rocq-community/bignums: 1
- coq-community/docker-coq-action: 1
- coq-community/vscoq: 1
- coq-tactician/coq-tactician: 1
- lysxia/coq-simple-io: 1
- coq-community/corn: 1
- bmsherman/topology: 1
- rocq-community/awesome-coq: 1
- mit-plv/fiat: 1
- coq-community/docker-rocq: 1
- rocq-community/metaprogramming-rosetta-stone: 1
- NixOS/nixpkgs: 1
- math-comp/docker-mathcomp: 1
- mit-plv/rewriter: 1
- affeldt-aist/infotheo: 1
- coq-community/docker-base: 1
- uwplse/verdi: 1
- jwiegley/category-theory: 1
- rocq-community/corn: 1
- coq/stdlib2: 1
- coq-community/reduction-effects: 1
- QuickChick/QuickChick: 1
- rocq-archive/coq-serapi: 1
- rocq-prover/rocq-prover.org: 1
- coq/coq-bench: 1
Maintainer
- math-comp/hierarchy-builder: 88
- coq/platform: 25
- math-comp/mcb: 21
- coq/vscoq: 21
- coq/rfcs: 18
- rocq-prover/vscoq: 17
- coq/coq: 15
- gares/sel: 9
- math-comp/math-comp: 8
- coq/opam: 8
- math-comp/math-comp.github.io: 5
- math-comp/algebra-tactics: 5
- math-comp/odd-order: 4
- coq-community/vscoq: 3
- coq/ltac2: 3
Active Maintainer
- math-comp/hierarchy-builder: 20
- coq/vscoq: 19
- rocq-prover/vscoq: 13
- coq/opam: 6
- coq/coq: 4
- math-comp/math-comp: 1
- coq/ceps: 1
- coq-community/vscoq: 1
- rocq-prover/opam: 1
- rocq-prover/rocq-prover.org: 1
Issue Author Associations
- Contributor (94, 44.34%)
- Member (89, 41.98%)
- None (22, 10.38%)
- Owner (5, 2.36%)
- Collaborator (2, 0.94%)
Pull Request Author Associations
- Contributor (229, 55.45%)
- Member (163, 39.47%)
- Owner (8, 1.94%)
- None (8, 1.94%)
- Collaborator (5, 1.21%)
Top Issue Labels
- enhancement (14)
- SOCCA (9)
- bug (9)
- ADT-SED (6)
- kind: enhancement (5)
- easy difficulty (4)
- hard difficulty (3)
- high priority (3)
- documentation (3)
- question (3)
- kind: package inclusion (2)
- approval: has maintainer agreement (2)
- kind: ui (2)
- urgent priority (2)
- low priority (2)
Top Pull Request Labels
- stale (9)
- kind: infrastructure (6)
- needs: rebase (4)
- needs: full CI (4)
- kind: overlay (2)
- part: serlib (2)
- part: upstream (2)
- kind: upstream (2)
- abandoned (2)
- kind: fix (2)
- needs Coq 8.10 (1)
- documentation (1)
- enhancement (1)
- kind: documentation (1)
- kind: meta (1)