GitHub / ejgallego issue stats
Total issues: 244
Total pull requests: 481
Merged pull request: 378
Average time to close issues: about 1 year
Average time to close pull requests: about 2 months
Average comments per issue: 4.22
Average comments per pull request: 3.19
Issues created
- ejgallego/coq-lsp: 50
- jscoq/jscoq: 28
- rocq-archive/coq-serapi: 20
- coq/coq-bench: 13
- ejgallego/pycoq: 8
- coq/bot: 5
- coq/coq: 5
- thierry-martinez/ocaml-in-python: 4
- deducteam/lambdapi: 4
- ocaml-ppx/ppx_import: 4
- ocaml/dune: 4
- math-comp/finmap: 3
- ocsigen/js_of_ocaml: 3
- camlp5/camlp5: 3
- coq/ltac2: 3
- rocq-community/manifesto: 3
- cpitclaudel/elcoq: 3
- rocq-prover/stdlib: 3
- mit-plv/fiat: 3
- garrigue/lablgtk: 3
- rocq-archive/coq-contribs: 2
- lukaszcz/coqhammer: 2
- microsoft/live-share: 2
- llm4rocq/pytanque: 2
- rocq-prover/platform: 2
- ocamlpro/liquidity: 2
- LPCIC/coq-elpi: 2
- microsoft/vscode-languageserver-node: 2
- rocq-community/paramcoq: 2
- coq/platform: 2
- janestreet/sexplib: 2
- janestreet/ppx_sexp_conv: 2
- coq/roadmaps: 2
- deducteam/coqine: 2
- rocq-community/coq-dpdgraph: 2
- rocq-prover/rocq: 1
- ocaml-ppx/ocaml-migrate-parsetree: 1
- ocaml/ocaml-pr-repository: 1
- fblanqui/color: 1
- ocaml-multicore/effects-examples: 1
- siegebell/vscoq: 1
- bcpierce00/unison: 1
- ocaml-community/yojson: 1
- imdea-software/fcsl-pcm: 1
- rocq-community/corn: 1
- ocaml/Zarith: 1
- jasongross/coq-bisect: 1
- jscoq/wacoq-bin: 1
- janestreet/ppx_python: 1
- janestreet/ppx_xml_conv: 1
- ppedrot/ocaml-compactor: 1
- mattam82/Coq-Equations: 1
- microsoft/language-server-protocol: 1
- ocaml/ocamlfind: 1
- borisveytsman/acmart: 1
- gasche/opam-compiler-conf: 1
- rocq-community/coq-ext-lib: 1
- sabine/ocaml-to-wasm-overview: 1
- realworldocaml/book: 1
- bmsherman/topology: 1
- cpitclaudel/alectryon: 1
- frasertweedale/docker-coq: 1
- mit-plv/coqutil: 1
- amanusk/s-tui: 1
- leanprover/vscode-lean4: 1
- ptival/peacoq: 1
- ocaml/ocamlbuild: 1
- rocq-community/coqeal: 1
- ocaml/num: 1
- rocq-community/docker-coq: 1
- tomtomjhj/coq-lsp.nvim: 1
- rocq-community/math-classes: 1
- jasongross/coq-tools: 1
- lpcic/elpi: 1
- rocq-community/aac-tactics: 1
- coq-community/docker-base: 1
- ProofGeneral/PG: 1
Pull requests created
- ejgallego/coq-lsp: 115
- jscoq/jscoq: 46
- rocq-archive/coq-serapi: 44
- LPCIC/coq-elpi: 22
- coq/ltac2: 22
- coq/coq: 21
- rocq-community/paramcoq: 19
- coq/coq-bench: 16
- ocaml-ppx/ppx_import: 14
- garrigue/lablgtk: 14
- mattam82/Coq-Equations: 13
- ocaml/opam-repository: 9
- rocq-community/aac-tactics: 8
- deducteam/lambdapi: 8
- rocq-community/bignums: 7
- rocq-community/coq-dpdgraph: 7
- rocq-community/fourcolor: 5
- ocaml/dune: 5
- lukaszcz/coqhammer: 5
- camlp5/camlp5: 5
- coq/rfcs: 5
- mit-plv/fiat: 5
- impermeable/coq-waterproof: 5
- rocq-prover/rocq: 5
- rocq-prover/platform: 4
- mit-plv/rewriter: 3
- Mtac2/Mtac2: 3
- PLSysSec/lio: 3
- ocsigen/js_of_ocaml: 3
- coq-tactician/coq-tactician: 2
- bcpierce00/unison: 2
- coq/roadmaps: 2
- jscoq/coqdoc-template: 2
- ejgallego/hoare2: 2
- GeoCoq/GeoCoq: 2
- cpitclaudel/elcoq: 2
- coq/bot: 1
- imdea-software/fcsl-pcm: 1
- ejgallego/pycoq: 1
- agrarpan/dune_coq_plugin_lib: 1
- tategakibunko/jingoo: 1
- lemonidas/qcrewrite: 1
- AbsInt/CompCert: 1
- HoTT/Coq-HoTT: 1
- deian/lio-lecture: 1
- ocaml/ocamlfind: 1
- rocq-community/coq-ext-lib: 1
- math-comp/finmap: 1
- fblanqui/color: 1
- impermeable/waterproof-dev: 1
- gasche/popl2017-papers: 1
- llm4rocq/pytanque: 1
- ejgallego/ssrbit: 1
- uwplse/PUMPKIN-PATCH: 1
- janestreet/ppx_python: 1
- coq-community/coq-plugin-template: 1
- math-comp/math-comp: 1
- PrincetonUniversity/VST: 1
- coq-community/coq-dpdgraph: 1
- QuickChick/QuickChick: 1
- ocaml/Zarith: 1
- math-comp/odd-order: 1
Maintainer
- ejgallego/coq-lsp: 165
- jscoq/jscoq: 74
- rocq-archive/coq-serapi: 64
- coq/coq-bench: 29
- coq/coq: 26
- coq/ltac2: 25
- ocaml-ppx/ppx_import: 18
- garrigue/lablgtk: 17
- deducteam/lambdapi: 12
- ejgallego/pycoq: 9
- ocaml/dune: 9
- rocq-prover/platform: 6
- rocq-prover/rocq: 6
- coq/bot: 6
- coq/rfcs: 5
Active Maintainer
- ejgallego/coq-lsp: 92
- jscoq/jscoq: 14
- coq/coq: 5
- rocq-prover/rocq: 3
- ocaml/dune: 2
- rocq-archive/coq-serapi: 1
- rocq-prover/platform: 1
- rocq-prover/stdlib: 1
- jscoq/wacoq-bin: 1
Issue Author Associations
- Member (65, 26.64%)
- None (59, 24.18%)
- Owner (58, 23.77%)
- Collaborator (35, 14.34%)
- Contributor (27, 11.07%)
Pull Request Author Associations
- Contributor (144, 29.94%)
- Member (124, 25.78%)
- Owner (119, 24.74%)
- Collaborator (87, 18.09%)
- None (7, 1.46%)
Top Issue Labels
- kind: enhancement (27)
- kind: bug (19)
- enhancement (12)
- kind: upstream (7)
- kind: meta (7)
- help wanted (7)
- fixed by: flèche (6)
- forwarded-to-js-devs (6)
- bug (5)
- feature request (5)
- kind: ui (5)
- protocol (5)
- platform: browser (5)
- in-progress (5)
- part: web worker (4)
Top Pull Request Labels
- kind: enhancement (60)
- kind: cleanup (39)
- kind: fix (36)
- kind: internal (34)
- kind: upstream (31)
- part: upstream (21)
- part: deps (21)
- kind: build (17)
- part: CI (17)
- kind: infrastructure (16)
- part: lsp server (16)
- kind: bug (14)
- part: build (14)
- part: flèche (13)
- needs: full CI (12)