Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ejgallego issue stats
Total issues: 269
Total pull requests: 561
Merged pull request: 448
Average time to close issues: over 1 year
Average time to close pull requests: about 1 month
Average comments per issue: 4.72
Average comments per pull request: 2.96
Issues created
- ejgallego/coq-lsp: 43
- jscoq/jscoq: 29
- coq/coq-bench: 23
- ejgallego/coq-serapi: 20
- rocq-archive/coq-serapi: 20
- coq/bot: 8
- ocaml-ppx/ppx_import: 8
- ejgallego/pycoq: 8
- mit-plv/fiat: 6
- coq/coq: 5
- ocaml/dune: 5
- microsoft/vscode-languageserver-node: 4
- deducteam/lambdapi: 4
- coq-community/manifesto: 4
- thierry-martinez/ocaml-in-python: 4
- cpitclaudel/elcoq: 3
- ocsigen/js_of_ocaml: 3
- camlp5/camlp5: 3
- coq/ltac2: 3
- math-comp/finmap: 3
- garrigue/lablgtk: 3
- rocq-archive/coq-contribs: 2
- coq/platform: 2
- borisveytsman/acmart: 2
- deducteam/coqine: 2
- coq/roadmaps: 2
- coq-community/aac-tactics: 2
- lukaszcz/coqhammer: 2
- janestreet/sexplib: 2
- janestreet/ppx_sexp_conv: 2
- coq-community/coq-dpdgraph: 2
- ocaml-multicore/effects-examples: 2
- microsoft/live-share: 2
- LPCIC/coq-elpi: 2
- ProofGeneral/PG: 1
- coq-community/docker-base: 1
- mit-plv/coqutil: 1
- imdea-software/fcsl-pcm: 1
- jasongross/coq-tools: 1
- janestreet/ppx_python: 1
- coq-community/coq-ext-lib: 1
- coq-community/math-classes: 1
- ocaml/ocamlbuild: 1
- microsoft/language-server-protocol: 1
- lpcic/elpi: 1
- amanusk/s-tui: 1
- ocaml/Zarith: 1
- bcpierce00/unison: 1
- coq-community/corn: 1
- gasche/opam-compiler-conf: 1
- sabine/ocaml-to-wasm-overview: 1
- bmsherman/topology: 1
- frasertweedale/docker-coq: 1
- ocaml/ocaml-pr-repository: 1
- fblanqui/color: 1
- coq-community/coqeal: 1
- jasongross/coq-bisect: 1
- janestreet/ppx_xml_conv: 1
- mattam82/Coq-Equations: 1
- ocaml/ocamlfind: 1
- ppedrot/ocaml-compactor: 1
- ocaml-community/yojson: 1
- siegebell/vscoq: 1
- ocaml-ppx/ocaml-migrate-parsetree: 1
- ocaml/num: 1
- cpitclaudel/alectryon: 1
- realworldocaml/book: 1
- tomtomjhj/coq-lsp.nvim: 1
Pull requests created
- ejgallego/coq-lsp: 100
- jscoq/jscoq: 50
- rocq-archive/coq-serapi: 44
- ejgallego/coq-serapi: 44
- coq/coq-bench: 32
- ocaml-ppx/ppx_import: 28
- coq/coq: 24
- coq/ltac2: 22
- LPCIC/coq-elpi: 22
- coq-community/paramcoq: 22
- garrigue/lablgtk: 14
- coq-community/aac-tactics: 14
- mattam82/Coq-Equations: 13
- ocaml/opam-repository: 9
- mit-plv/fiat: 9
- coq-community/coq-dpdgraph: 8
- deducteam/lambdapi: 8
- coq/rfcs: 8
- coq-community/bignums: 7
- lukaszcz/coqhammer: 6
- coq/ceps: 6
- ocaml/dune: 5
- camlp5/camlp5: 5
- coq-community/fourcolor: 5
- coq/platform: 4
- mit-plv/rewriter: 3
- Mtac2/Mtac2: 3
- ocsigen/js_of_ocaml: 3
- PLSysSec/lio: 3
- bcpierce00/unison: 3
- coq/roadmaps: 2
- coq-tactician/coq-tactician: 2
- imdea-software/fcsl-pcm: 2
- ejgallego/hoare2: 2
- math-comp/odd-order: 2
- HoTT/Coq-HoTT: 2
- impermeable/coq-waterproof: 2
- cpitclaudel/elcoq: 2
- GeoCoq/GeoCoq: 2
- coq/bot: 1
- coq-community/coq-ext-lib: 1
- agrarpan/dune_coq_plugin_lib: 1
- ejgallego/pycoq: 1
- uwplse/PUMPKIN-PATCH: 1
- tategakibunko/jingoo: 1
- math-comp/finmap: 1
- lemonidas/qcrewrite: 1
- deian/lio-lecture: 1
- ocaml/ocamlfind: 1
- ejgallego/ssrbit: 1
- janestreet/ppx_python: 1
- math-comp/math-comp: 1
- fblanqui/color: 1
- gasche/popl2017-papers: 1
- PrincetonUniversity/VST: 1
- coq-community/coq-plugin-template: 1
- ocaml/Zarith: 1
- QuickChick/QuickChick: 1
Maintainer
- ejgallego/coq-lsp: 143
- jscoq/jscoq: 79
- ejgallego/coq-serapi: 64
- rocq-archive/coq-serapi: 64
- coq/coq-bench: 55
- ocaml-ppx/ppx_import: 36
- coq/coq: 29
- coq/ltac2: 25
- garrigue/lablgtk: 17
- deducteam/lambdapi: 12
- ocaml/dune: 10
- coq/bot: 9
- ejgallego/pycoq: 9
- coq/rfcs: 8
- coq/platform: 6
Active Maintainer
- ejgallego/coq-lsp: 79
- ejgallego/coq-serapi: 16
- rocq-archive/coq-serapi: 16
- jscoq/jscoq: 14
- coq/coq: 10
- ocaml/dune: 7
- ocaml-ppx/ppx_import: 2
- coq/platform: 1
Issue Author Associations
- Member (72, 26.77%)
- Owner (71, 26.39%)
- None (57, 21.19%)
- Collaborator (40, 14.87%)
- Contributor (29, 10.78%)
Pull Request Author Associations
- Contributor (157, 27.99%)
- Member (149, 26.56%)
- Owner (148, 26.38%)
- Collaborator (101, 18.00%)
- None (6, 1.07%)
Top Issue Labels
- kind: enhancement (38)
- enhancement (16)
- kind: bug (15)
- fixed by: flèche (12)
- protocol (10)
- in-progress (10)
- help wanted (9)
- kind: upstream (8)
- kind: meta (7)
- wontfix (6)
- feature request (6)
- bug (6)
- forwarded-to-js-devs (6)
- platform: browser (5)
- kind: ui (5)
Top Pull Request Labels
- kind: enhancement (67)
- kind: upstream (38)
- kind: cleanup (37)
- kind: fix (33)
- kind: internal (29)
- kind: infrastructure (25)
- kind: bug (24)
- kind: build (17)
- part: deps (16)
- part: upstream (15)
- kind: serialization (14)
- part: build (14)
- kind: meta (13)
- part: lsp server (13)
- part: CI (13)