GitHub / Zimmi48 issue stats
Total issues: 190
Total pull requests: 372
Merged pull request: 325
Average time to close issues: 5 months
Average time to close pull requests: 14 days
Average comments per issue: 4.18
Average comments per pull request: 2.78
Issues created
- coq/bot: 37
- coq-community/coq-nix-toolbox: 21
- rocq-community/manifesto: 16
- zimmi48/accounting: 7
- rocq-prover/rocq-prover.org: 6
- EugeneLoy/coq_jupyter: 5
- rocq-prover/coq.github.io: 5
- coq-community/templates: 5
- coq/stdlib2: 4
- coq/rocq-prover.org: 3
- yurug/oss-ecosystem-data: 3
- rocq-community/hydra-battles: 3
- octobox/octobox: 3
- rocq-community/lemma-overloading: 3
- coq/platform: 3
- xarvh/elm-slides: 2
- teamwalnut/graphql-ppx: 2
- rocq-archive/coq-serapi: 2
- GeoCoq/GeoCoq: 2
- coq-community/coq-community.github.io: 2
- fblanqui/color: 2
- coq/coq-bench: 2
- nix-community/docker-nix: 2
- coq/coq: 2
- rocq-community/corn: 2
- xzfc/cached-nix-shell: 2
- rocq-community/math-classes: 2
- rocq-prover/stdlib: 2
- andreas/ppx_graphql: 2
- coq-community/stalmarck: 1
- jscoq/jscoq: 1
- jcollard/elm-mode: 1
- rocq-prover/platform: 1
- rocq-prover/rocq: 1
- rocq-community/templates: 1
- cpitclaudel/company-coq: 1
- jasongross/coq-bug-minimizer-paper: 1
- imdea-software/fcsl-pcm: 1
- coq/ltac2: 1
- conda-forge/coq-feedstock: 1
- coq-community/coq-tricks: 1
- mit-plv/fiat: 1
- krisajenkins/remotedata: 1
- siegebell/vscoq: 1
- PrincetonUniversity/VST: 1
- elm-community/elm-datepicker: 1
- ptival/peacoq: 1
- elm-lang/elm-package: 1
- cpitclaudel/alectryon: 1
- whonore/Coqtail: 1
- cachix/feedback: 1
- krisajenkins/elm-dialog: 1
- NixOS/nixos: 1
- coq-community/bertrand: 1
- cachix/install-nix-action: 1
- zimmi48/impact-of-switching-bug-trackers: 1
- passiomatic/elm-designer: 1
- posativ/isso: 1
- git-tips/tips: 1
- rafaelkallis/ticket-tagger: 1
- coq-community/gaia: 1
- jscoq/coqdoc-template: 1
- rocq-prover/vscoq: 1
- coq-community/docker-coq-action: 1
- coq-community/apery: 1
- tommd/gps: 1
- zimmi48/thesis: 1
Pull requests created
- coq-community/coq-nix-toolbox: 37
- coq/coq: 32
- rocq-community/hydra-battles: 24
- rocq-community/math-classes: 22
- rocq-prover/coq.github.io: 19
- rocq-community/manifesto: 19
- rocq-community/corn: 18
- rocq-community/aac-tactics: 15
- coq/bot: 10
- rocq-community/lemma-overloading: 10
- rocq-prover/rocq-prover.org: 9
- coq/rfcs: 9
- rocq-community/templates: 8
- coq-community/templates: 7
- rocq-community/bignums: 7
- coq-community/bertrand: 6
- rocq-prover/rocq: 5
- coq/ceps: 5
- coq/platform: 5
- coq-community/qarith-stern-brocot: 5
- coq-community/reglang: 4
- coq-community/docker-coq-action: 4
- coq/platform-docs: 4
- rocq-prover/stdlib: 4
- coq-community/stalmarck: 3
- ptival/peacoq: 3
- leanprover/tutorial: 3
- rocq-community/paramcoq: 3
- coq-community/atbr: 3
- rocq-community/semantics: 3
- coq-community/reduction-effects: 2
- coq-community/huffman: 2
- coq-community/pocklington: 2
- fblanqui/color: 2
- coq/ltac2: 2
- zimmi48/zimmi48.github.io: 2
- GeoCoq/GeoCoq: 2
- mit-plv/fiat: 2
- rocq-community/awesome-coq: 2
- coq/opam: 2
- andreas/ppx_graphql: 2
- coq-community/chapar: 2
- coq/coq.github.io: 1
- github/choosealicense.com: 1
- conda-forge/ocaml-zarith-feedstock: 1
- rocq-archive/axiomatic-abp: 1
- zimmi48/touch-snake: 1
- conda-forge/ocaml-num-feedstock: 1
- rocq-community/coq-ext-lib: 1
- mirage/ocaml-git: 1
- pygments/pygments: 1
- rocq-prover/vscoq: 1
- eeue56/elm-http-error-view: 1
- lpcic/elpi: 1
- rocq-community/graph-theory: 1
- rocq-community/topology: 1
- evancz/elm-architecture-tutorial: 1
- sporto/elm-tutorial: 1
- nix-community/home-manager: 1
- rocq-community/autosubst: 1
- gmalecha/coq-plugin-template: 1
- lukaszcz/coqhammer: 1
- sporto/hop: 1
- conda-forge/ocaml-feedstock: 1
- conda-forge/coq-feedstock: 1
- coq-community/generic-environments: 1
- jwiegley/category-theory: 1
- github-linguist/linguist: 1
- coq-community/hoare-tut: 1
- coq-community/bits: 1
- rocq-community/buchberger: 1
- rocq-archive/automata: 1
- rocq-community/coq-100-theorems: 1
- rocq-archive/coq-serapi: 1
- jscoq/coqdoc-template: 1
- coq-community/alea: 1
- rocq-archive/ccs: 1
- rocq-community/fourcolor: 1
- rundis/elm-bootstrap.info: 1
- rocq-community/coq-dpdgraph: 1
- coq-community/coqoban: 1
- rocq-archive/canon-bdds: 1
- rocq-community/coq-art: 1
- coq-community/docker-coq: 1
Maintainer
- coq-community/coq-nix-toolbox: 58
- coq/bot: 47
- rocq-community/manifesto: 35
- coq/coq: 34
- rocq-community/hydra-battles: 27
- rocq-community/math-classes: 24
- rocq-prover/coq.github.io: 24
- rocq-community/corn: 20
- rocq-community/aac-tactics: 15
- rocq-prover/rocq-prover.org: 15
- rocq-community/lemma-overloading: 13
- coq-community/templates: 12
- coq/rfcs: 9
- rocq-community/templates: 9
- coq/platform: 8
Active Maintainer
- coq/coq: 18
- rocq-prover/rocq-prover.org: 15
- zimmi48/accounting: 6
- rocq-prover/stdlib: 6
- coq/rfcs: 5
- rocq-prover/rocq: 5
- coq/ceps: 4
- coq/opam: 2
- coq/rocq-prover.org: 2
- rocq-community/math-classes: 2
- coq/platform-docs: 1
- coq/bot: 1
- rocq-community/corn: 1
- rocq-community/manifesto: 1
Issue Author Associations
- Member (130, 68.42%)
- None (35, 18.42%)
- Owner (9, 4.74%)
- Contributor (8, 4.21%)
- Collaborator (8, 4.21%)
Pull Request Author Associations
- Member (331, 88.98%)
- Contributor (23, 6.18%)
- None (13, 3.49%)
- Owner (3, 0.81%)
- Collaborator (2, 0.54%)
Top Issue Labels
- enhancement (27)
- bug (23)
- move-project (7)
- meta (7)
- coq-library (4)
- question (4)
- documentation (3)
- wontfix (2)
- platform: windows (2)
- coq-plugin (2)
- help wanted (2)
- automation (2)
- priority: blocker (2)
- kind: cleanup (1)
- change-maintainer (1)
Top Pull Request Labels
- kind: documentation (18)
- documentation (12)
- kind: infrastructure (11)
- kind: fix (7)
- kind: cleanup (6)
- enhancement (4)
- needs: full CI (4)
- kind: meta (4)
- stale (2)
- needs: rebase (2)
- automerge (2)
- priority: blocker (2)
- needs: fixing (1)
- kind: enhancement (1)
- part: build (1)