GitHub / proux01 issue stats
Total issues: 42
Total pull requests: 1,585
Merged pull request: 1,323
Average time to close issues: 2 months
Average time to close pull requests: 11 days
Average comments per issue: 1.9
Average comments per pull request: 1.63
Issues created
- math-comp/math-comp: 10
- coq/coq: 5
- math-comp/analysis: 3
- math-comp/hierarchy-builder: 3
- coq-community/manifesto: 2
- coq/rocq-prover.org: 1
- jasongross/coq-tools: 1
- coq/platform: 1
- cachix/cachix: 1
- coq/stdlib: 1
- SSProve/ssprove: 1
- rocq-prover/rocq-prover.org: 1
- math-comp/algebra-tactics: 1
- math-comp/multinomials: 1
- affeldt-aist/coq2html: 1
- ProofGeneral/PG: 1
- rocq-prover/bot: 1
- LPCIC/coq-elpi: 1
- ocaml/opam-repository: 1
- NixOS/nixpkgs: 1
- rocq-prover/rocq: 1
- rocq-community/graph-theory: 1
- math-comp/mczify: 1
- lpcic/elpi: 1
Pull requests created
- math-comp/math-comp: 232
- coq/coq: 167
- coq/opam: 121
- math-comp/analysis: 87
- NixOS/nixpkgs: 69
- LPCIC/coq-elpi: 66
- rocq-community/coq-nix-toolbox: 66
- coq-community/coq-nix-toolbox: 60
- math-comp/hierarchy-builder: 54
- rocq-community/coqeal: 47
- rocq-prover/stdlib: 38
- rocq-prover/opam: 34
- math-comp/multinomials: 32
- rocq-prover/rocq: 26
- math-comp/odd-order: 21
- coq-community/coqeal: 19
- math-comp/abel: 19
- coq/stdlib: 17
- math-comp/finmap: 17
- math-comp/real-closed: 12
- coq-community/fourcolor: 11
- QuickChick/QuickChick: 11
- mit-pdos/perennial: 10
- rocq-community/graph-theory: 10
- MetaCoq/metacoq: 9
- rocq-community/bignums: 9
- mit-plv/bedrock2: 8
- mit-plv/fiat-crypto: 8
- jasmin-lang/jasmin: 8
- math-comp/algebra-tactics: 8
- ocaml/opam-repository: 8
- rocq-community/apery: 7
- rocq-community/paramcoq: 7
- coq-community/bignums: 7
- coq-community/gaia: 7
- mattam82/Coq-Equations: 7
- math-comp/docker-mathcomp: 6
- rocq-community/trocq: 6
- rocq-community/gaia: 6
- rocq-archive/coq-serapi: 6
- coq-community/coq-dpdgraph: 6
- mit-plv/fiat: 6
- rocq-community/tarjan: 5
- jasongross/coq-tools: 5
- coq-community/tarjan: 5
- impermeable/coq-waterproof: 5
- imdea-software/fcsl-pcm: 5
- affeldt-aist/infotheo: 5
- ejgallego/coq-lsp: 5
- coq-community/reglang: 5
- coq-community/corn: 5
- PrincetonUniversity/VST: 5
- rocq-community/fourcolor: 5
- mit-plv/rupicola: 4
- validsdp/validsdp: 4
- rocq-community/corn: 4
- coq/stdlib2: 4
- math-comp/bigenough: 4
- coq-community/apery: 4
- liyishuai/coq-json: 4
- math-comp/math-comp.github.io: 4
- whonore/Coqtail: 4
- AbsInt/CompCert: 4
- mit-plv/coqutil: 4
- mit-plv/kami: 4
- rocq-community/math-classes: 4
- mit-pdos/argosy: 3
- coq-community/bits: 3
- jwiegley/category-theory: 3
- Mtac2/Mtac2: 3
- mit-plv/bbv: 3
- coq-community/math-classes: 3
- coq-community/aac-tactics: 3
- ejgallego/coq-serapi: 3
- coq-community/paramcoq: 3
- coq-community/atbr: 3
- UniMath/UniMath: 3
- fblanqui/color: 3
- coq-community/coq-ext-lib: 3
- coq-community/graph-theory: 3
- uds-psl/autosubst-ocaml: 2
- mit-plv/riscv-coq: 2
- coq/rocq-prover.org: 2
- mit-plv/engine-bench: 2
- jasongross/coq-scripts: 2
- rocq-prover/rocq-prover.org: 2
- rocq-community/rocq-lean-import: 2
- rocq-community/bits: 2
- ecrancemerce/trakt: 2
- coq/ltac2: 2
- coq-community/hydra-battles: 2
- coq/platform: 2
- lysxia/coq-simple-io: 2
- jasongross/neural-net-coq-interp: 2
- lukaszcz/coqhammer: 2
- DeepSpec/sf: 2
- affeldt-aist/analysis: 2
- mit-plv/rewriter: 2
- coq-community/coq-performance-tests: 2
- DeepSpec/InteractionTrees: 2
- math-comp/mczify: 2
- coq/coq.github.io: 1
- rocq-prover/rfcs: 1
- coq-tactician/coq-tactician: 1
- rocq-community/coq-dpdgraph: 1
- hivert/formalpowerseries: 1
- coq-community/autosubst: 1
- coq/ceps: 1
- arthuraa/deriving: 1
- damien-pous/relation-algebra: 1
- Embedded-SW-VnV/osdp: 1
- rocq-community/autosubst: 1
- smtcoq/smtcoq: 1
- affeldt-aist/coq2html: 1
- HoTT/Coq-HoTT: 1
- coq-community/stdlib-test: 1
- mit-plv/cross-crypto: 1
- charguer/tlc: 1
- jasmin-lang/coqword: 1
- GeoCoq/GeoCoq: 1
Maintainer
- math-comp/analysis: 90
- rocq-community/coq-nix-toolbox: 66
- coq-community/coq-nix-toolbox: 60
- rocq-community/coqeal: 47
- coq-community/coqeal: 19
- math-comp/real-closed: 12
- math-comp/algebra-tactics: 9
- rocq-community/bignums: 9
- coq-community/bignums: 7
- rocq-community/paramcoq: 7
- math-comp/docker-mathcomp: 5
- coq-community/paramcoq: 3
- ejgallego/coq-lsp: 2
- ecrancemerce/trakt: 1
- Embedded-SW-VnV/osdp: 1
Active Maintainer
Issue Author Associations
- Contributor (29, 69.05%)
- None (9, 21.43%)
- Collaborator (4, 9.52%)
Pull Request Author Associations
- Contributor (1,210, 76.34%)
- Collaborator (334, 21.07%)
- None (41, 2.59%)
Top Issue Labels
- kind: bug (4)
- bug (2)
- needs: triage (2)
- urgent priority (2)
- enhancement (1)
- 10.rebuild-linux: 1 (1)
- 10.rebuild-darwin: 1 (1)
- 10.rebuild-darwin: 1-10 (1)
- 10.rebuild-linux: 1-10 (1)
- kind: wish (1)
- coq-library (1)
- maintainer-wanted (1)
- consider for merge (1)
- part: coqdoc (1)
- change-maintainer (1)
Top Pull Request Labels
- kind: infrastructure (66)
- kind: documentation (50)
- 6.topic: coq (27)
- needs: full CI (20)
- 10.rebuild-darwin: 1-10 (16)
- 10.rebuild-darwin: 0 (16)
- 10.rebuild-linux: 0 (16)
- 10.rebuild-linux: 1-10 (16)
- kind: user messages (16)
- 10.rebuild-darwin: 11-100 (16)
- 10.rebuild-linux: 11-100 (16)
- part: CI (16)
- kind: fix (12)
- kind: cleanup (10)
- 8.has: package (new) (9)