Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / MSoegtropIMC issue stats
Total issues: 241
Total pull requests: 132
Merged pull request: 106
Average time to close issues: 3 months
Average time to close pull requests: 29 days
Average comments per issue: 4.41
Average comments per pull request: 2.11
Issues created
- coq/platform: 23
- math-comp/mczify: 12
- tchajed/coq-record-update: 11
- math-comp/multinomials: 10
- coq-community/paramcoq: 9
- coq-community/reglang: 8
- math-comp/real-closed: 7
- coq-community/math-classes: 7
- QuickChick/QuickChick: 7
- coq-community/reduction-effects: 6
- coq/coq: 6
- math-comp/algebra-tactics: 6
- coq-community/corn: 6
- coq-community/coqeal: 5
- math-comp/finmap: 5
- Mtac2/Mtac2: 5
- coq-community/aac-tactics: 5
- math-comp/bigenough: 5
- ocaml/opam: 4
- lysxia/coq-simple-io: 4
- coq-community/coq-dpdgraph: 4
- mit-plv/bedrock2: 4
- coq-community/vscoq: 3
- LPCIC/coq-elpi: 3
- mit-plv/riscv-coq: 3
- mit-plv/coqutil: 3
- rocq-archive/coq-serapi: 3
- mattam82/Coq-Equations: 3
- coq-community/bignums: 3
- lukaszcz/coqhammer: 3
- mit-plv/rewriter: 3
- PrincetonUniversity/VST: 3
- mit-plv/rupicola: 3
- math-comp/math-comp: 3
- math-comp/analysis: 3
- jasmin-lang/coqword: 2
- wspr/breqn: 2
- HoTT/Coq-HoTT: 2
- coq-community/docker-coq: 2
- coq-community/docker-coq-action: 2
- ocaml/flexdll: 2
- thery/coqprime: 2
- coq/vscoq: 2
- mit-plv/fiat-crypto: 2
- wxMaxima-developers/wxmaxima: 2
- ejgallego/coq-serapi: 2
- coq/ceps: 2
- coq/rfcs: 2
- Deducteam/hol2dk: 2
- lpcic/elpi: 1
- coq-community/coq-ext-lib: 1
- math-comp/hierarchy-builder: 1
- andrenth/ocaml-stdint: 1
- AbsInt/CompCert: 1
- UniMath/UniMath: 1
- MetaCoq/metacoq: 1
- FreeCAD/FreeCAD: 1
- jens-maus/RaspberryMatic: 1
- looooo/freecad.gears: 1
- ocaml/ocamlfind: 1
- ecrancemerce/trakt: 1
- ocaml/dune: 1
- lpcic/coq-elpi-lang: 1
- ocaml/merlin: 1
Pull requests created
- coq/platform: 92
- coq/opam: 14
- coq/coq: 10
- math-comp/mczify: 2
- coq/rfcs: 2
- coq/ceps: 2
- lpcic/elpi: 1
- coq-community/corn: 1
- jasmin-lang/coqword: 1
- ocaml/flexdll: 1
- PrincetonUniversity/VST: 1
- QuickChick/QuickChick: 1
- coq-community/coq-dpdgraph: 1
- jasongross/neural-net-coq-interp: 1
- ocaml/dune: 1
- coq-community/metaprogramming-rosetta-stone: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (182, 75.52%)
- Contributor (31, 12.86%)
- Collaborator (28, 11.62%)
Pull Request Author Associations
- Collaborator (94, 71.21%)
- Contributor (30, 22.73%)
- None (8, 6.06%)
Top Issue Labels
- kind: upstream tracker (7)
- platform: windows (6)
- platform: macOS (6)
- question (4)
- kind: bug (4)
- kind: package inclusion (4)
- enhancement (3)
- part: micromega (2)
- bug (2)
- needs: triage (2)
- windows (1)
- packaging/releasing (1)
- "bug" :bug: (1)
- regression (1)
- part: build (1)
Top Pull Request Labels
- kind: infrastructure (7)
- kind: fix (3)
- needs: progress (3)
- part: CI (2)
- part: build (1)
- needs: test-suite update (1)
- part: coqdep (1)
- platform: Windows (1)
- kind: enhancement (1)
- part: ltac2 (1)
- needs: rebase (1)
- part: CoqIDE (1)
- platform: macOS (1)
- windows (1)