Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gares issue stats
Total issues: 207
Total pull requests: 360
Merged pull request: 285
Average time to close issues: 7 months
Average time to close pull requests: about 1 month
Average comments per issue: 1.76
Average comments per pull request: 3.89
Issues created
- lpcic/elpi: 44
- math-comp/mcb: 27
- math-comp/hierarchy-builder: 24
- LPCIC/coq-elpi: 24
- coq/platform: 15
- lpcic/elpi-lang: 10
- coq-community/vscoq: 9
- coq-community/coq-nix-toolbox: 6
- jscoq/jscoq: 4
- cpitclaudel/alectryon: 4
- coq-community/aac-tactics: 4
- gares/sel: 3
- coq/vscoq: 3
- math-comp/math-comp: 2
- math-comp/algebra-tactics: 2
- coq/coq: 2
- gares/vscoq-language-server: 2
- coq-community/bignums: 2
- camlp5/camlp5: 2
- coq-community/corn: 2
- coq-community/docker-coq-action: 2
- coq/bot: 2
- siegebell/vscoq: 1
- coq-community/manifesto: 1
- coq-tactician/coq-tactician: 1
- ejgallego/coq-serapi: 1
- coq-community/fourcolor: 1
- lysxia/coq-simple-io: 1
- sacerdot/minimalist-type-theory-in-lambda-prolog: 1
- amintimany/universecomparator: 1
- Mtac2/Mtac2: 1
- ocaml/dune: 1
- math-comp/docker-mathcomp: 1
- ocaml/flexdll: 1
Pull requests created
- lpcic/elpi: 78
- LPCIC/coq-elpi: 41
- math-comp/hierarchy-builder: 39
- coq/ceps: 33
- coq/platform: 24
- math-comp/mcb: 14
- coq/coq: 12
- math-comp/math-comp.github.io: 9
- math-comp/odd-order: 8
- math-comp/math-comp: 6
- coq-community/paramcoq: 6
- gares/sel: 6
- coq-community/coq-dpdgraph: 5
- lpcic/elpi-lang: 5
- math-comp/algebra-tactics: 4
- coq-community/vscoq: 4
- Mtac2/Mtac2: 4
- ocaml/opam-repository: 3
- coq-community/fourcolor: 3
- coq/ltac2: 3
- mattam82/Coq-Equations: 3
- coq/coq.github.io: 3
- ybertot/one_num_type: 3
- coq/coq-bench: 2
- coq/vscoq: 2
- math-comp/trajectories: 2
- gares/math-comp-school-2022: 2
- coq/opam: 2
- coq/stdlib2: 2
- cpitclaudel/alectryon: 2
- imdea-software/fcsl-pcm: 2
- coq-community/lemma-overloading: 2
- NixOS/nixpkgs: 2
- math-comp/docker-mathcomp: 2
- lpcic/coq-elpi-lang: 1
- pygments/pygments: 1
- coq-community/docker-coq-action: 1
- coq-community/awesome-coq: 1
- lysxia/coq-simple-io: 1
- coq-tactician/coq-tactician: 1
- uds-psl/autosubst-ocaml: 1
- coq-community/metaprogramming-rosetta-stone: 1
- ecrancemerce/trakt: 1
- ejgallego/coq-serapi: 1
- QuickChick/QuickChick: 1
- coq-community/reduction-effects: 1
- jwiegley/category-theory: 1
- uwplse/verdi: 1
- coq-community/docker-base: 1
- affeldt-aist/infotheo: 1
- mit-plv/rewriter: 1
- mit-plv/fiat: 1
- coq-community/bignums: 1
- bmsherman/topology: 1
- coq-community/corn: 1
- voodoos/mlts: 1
Maintainer
- math-comp/hierarchy-builder: 63
- math-comp/mcb: 41
- coq/platform: 39
- coq/ceps: 33
- coq/coq: 14
- coq-community/vscoq: 13
- math-comp/math-comp.github.io: 9
- gares/sel: 9
- math-comp/odd-order: 8
- math-comp/math-comp: 8
- math-comp/algebra-tactics: 6
- coq/vscoq: 5
- coq/ltac2: 3
- coq/coq.github.io: 3
- math-comp/docker-mathcomp: 3
Active Maintainer
Issue Author Associations
- Contributor (91, 43.96%)
- Member (78, 37.68%)
- None (24, 11.59%)
- Collaborator (9, 4.35%)
- Owner (5, 2.42%)
Pull Request Author Associations
- Contributor (173, 48.06%)
- Member (167, 46.39%)
- Owner (8, 2.22%)
- None (6, 1.67%)
- Collaborator (6, 1.67%)
Top Issue Labels
- enhancement (16)
- kind: enhancement (7)
- documentation (6)
- ADT-SED (6)
- bug (5)
- upstream (2)
- blocked (2)
- fixed by: fleche (2)
- kind: ui (2)
- good first issue (2)
- question (2)
- kind: cleanup (2)
- Document Manager (1)
- meta (1)
- help wanted (1)
Top Pull Request Labels
- stale (14)
- needs: full CI (5)
- kind: infrastructure (4)
- needs: rebase (4)
- kind: fix (3)
- abandoned (3)
- 10.rebuild-darwin: 11-100 (2)
- 10.rebuild-linux: 11-100 (2)
- part: parser (1)
- part: vernac (1)
- kind: internal (1)
- kind: cleanup (1)
- kind: feature (1)
- A-lexing (1)
- kind: meta (1)