GitHub / SkySkimmer issue stats
Total issues: 121
Total pull requests: 1,044
Merged pull request: 818
Average time to close issues: 3 months
Average time to close pull requests: 16 days
Average comments per issue: 2.63
Average comments per pull request: 3.06
Issues created
- coq/coq: 46
- coq/coq-bench: 10
- rocq-prover/rocq: 10
- jasongross/coq-tools: 9
- rocq-prover/rocq-prover.org: 4
- skyskimmer/coq-ltac2-compiler: 4
- coq/bot: 3
- ocaml/dune: 3
- ProofGeneral/PG: 3
- rocq-community/rocq-lean-import: 2
- math-comp/analysis: 2
- jasmin-lang/jasmin: 2
- LPCIC/coq-elpi: 1
- dimitri/el-get: 1
- imdea-software/fcsl-pcm: 1
- jwiegley/category-theory: 1
- mpv-player/mpv-build: 1
- mattam82/Coq-Equations: 1
- ocaml/ocamlfind: 1
- rocq-prover/stdlib: 1
- coq/coq.github.io: 1
- lysxia/coq-simple-io: 1
- rocq-community/manifesto: 1
- mit-plv/coqutil: 1
- rocq-prover/vscoq: 1
- skyskimmer/polygraph: 1
- rocq-community/coq-dpdgraph: 1
- rocq-community/aac-tactics: 1
- mit-plv/bedrock2: 1
- math-comp/real-closed: 1
- math-comp/odd-order: 1
- ocaml/ocaml: 1
- lpcic/elpi: 1
- garrigue/lablgtk: 1
- mit-plv/fiat: 1
Pull requests created
- coq/coq: 408
- rocq-prover/rocq: 111
- mattam82/Coq-Equations: 65
- LPCIC/coq-elpi: 41
- MetaCoq/metacoq: 34
- ejgallego/coq-lsp: 31
- rocq-archive/coq-serapi: 21
- coq-tactician/coq-tactician: 19
- rocq-community/rocq-lean-import: 19
- QuickChick/QuickChick: 17
- rocq-community/paramcoq: 17
- skyskimmer/coq-ltac2-compiler: 16
- coq-community/paramcoq: 14
- mit-plv/rewriter: 13
- impermeable/coq-waterproof: 12
- mit-plv/fiat-crypto: 11
- Mtac2/Mtac2: 10
- rocq-community/bignums: 9
- coq/opam: 9
- rocq-prover/vscoq: 8
- MetaRocq/metarocq: 8
- mit-plv/coqutil: 8
- rocq-community/coq-dpdgraph: 7
- rocq-prover/stdlib: 7
- mit-plv/fiat: 7
- mit-pdos/perennial: 6
- lukaszcz/coqhammer: 6
- rocq-prover/opam: 6
- coq/vscoq: 5
- rocq-community/aac-tactics: 5
- ejgallego/coq-serapi: 5
- coq/coq-bench: 5
- mit-plv/bedrock2: 4
- jwiegley/category-theory: 4
- bmsherman/topology: 4
- coq/ltac2: 4
- coq/rfcs: 4
- coq-community/coq-dpdgraph: 3
- coq/bot: 3
- coq-community/reduction-effects: 3
- rocq-community/coq-ext-lib: 3
- jasongross/neural-net-coq-interp: 3
- fblanqui/color: 3
- uwplse/verdi-raft: 3
- mit-plv/rupicola: 3
- lysxia/coq-simple-io: 2
- coq-community/atbr: 2
- garrigue/lablgtk: 2
- tchajed/coq-record-update: 2
- mit-pdos/argosy: 2
- rocq-community/corn: 2
- mit-plv/kami: 2
- rocq-community/math-classes: 2
- imdea-software/fcsl-pcm: 1
- uds-psl/autosubst-ocaml: 1
- HoTT/Coq-HoTT: 1
- jasongross/coq-tools: 1
- jasongross/coq-scripts: 1
- PrincetonUniversity/VST: 1
- CertiCoq/certicoq: 1
- coq/platform: 1
- rocq-prover/platform: 1
- coq/deploy-rocq-prover.org: 1
- UniMath/UniMath: 1
- coq-community/coq-performance-tests: 1
- skyskimmer/hottclasses: 1
- skyskimmer/gitlab-test: 1
- GeoCoq/GeoCoq: 1
- jtassarotti/iris-inv-hierarchy: 1
- uwplse/verdi: 1
- ybertot/one_num_type: 1
- rocq-prover/rocq-prover.org: 1
- fuco1/fuco1.github.io: 1
- ocamlpro/ocp-indent: 1
- coq-community/stalmarck: 1
- coq/stdlib2: 1
- mit-plv/bbv: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (98, 80.99%)
- None (15, 12.40%)
- Owner (5, 4.13%)
- Collaborator (3, 2.48%)
Pull Request Author Associations
- Contributor (882, 84.48%)
- Collaborator (118, 11.30%)
- None (26, 2.49%)
- Owner (18, 1.72%)
Top Issue Labels
- kind: bug (23)
- enhancement (7)
- kind: documentation (6)
- kind: infrastructure (4)
- kind: wish (3)
- kind: anomaly (3)
- part: parser (2)
- bug (2)
- part: primitive records (2)
- part: ltac2 (2)
- coq (2)
- minimize more (2)
- kind: design discussion (2)
- part: checker (2)
- part: universes (2)
Top Pull Request Labels
- kind: infrastructure (113)
- kind: cleanup (101)
- kind: fix (84)
- needs: full CI (50)
- kind: upstream (48)
- kind: user messages (46)
- kind: enhancement (39)
- kind: documentation (35)
- kind: internal (34)
- part: ltac2 (24)
- part: upstream (22)
- needs: rebase (20)
- kind: overlay (19)
- part: serlib (19)
- kind: redesign (14)