Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / cpitclaudel issue stats
Total issues: 166
Total pull requests: 45
Merged pull request: 36
Average time to close issues: 10 months
Average time to close pull requests: 4 months
Average comments per issue: 3.95
Average comments per pull request: 3.4
Issues created
- dafny-lang/dafny: 70
- ProofGeneral/PG: 15
- ejgallego/coq-serapi: 10
- Malabarba/Nameless: 5
- ejgallego/coq-lsp: 3
- flycheck/flycheck-haskell: 2
- janestreet/parsexp: 2
- flycheck/flycheck-pos-tip: 2
- getpelican/pelican: 2
- coq/opam: 2
- jline/jline3: 2
- microsoft/pyright: 2
- AbsInt/CompCert: 2
- vivliostyle/vivliostyle.js: 2
- executablebooks/rst-to-myst: 2
- Malabarba/rich-minority: 2
- eslint/eslint: 2
- emacs-lsp/lsp-mode: 1
- CSSLint/csslint: 1
- emacs-lsp/lsp-metals: 1
- magit/ghub: 1
- crosscite/citeproc-doi-server: 1
- nodejs/node: 1
- Kozea/Radicale: 1
- Malabarba/camcorder.el: 1
- Malabarba/beacon: 1
- greghendershott/feeds2gmail: 1
- coq-community/coq-dpdgraph: 1
- latex3/hyperref: 1
- matze/mtheme: 1
- jorgenschaefer/elpy: 1
- mooz/js2-mode: 1
- ervandew/eclim: 1
- juba/color-theme-tangotango: 1
- Malabarba/spinner.el: 1
- Malabarba/aggressive-indent-mode: 1
- tree-sitter/tree-sitter: 1
- bokeh/bokeh: 1
- jupyter/jupyter: 1
- ocaml/ocamlbuild: 1
- scalameta/metals: 1
- mwouts/jupytext: 1
- eventable/vobject: 1
- hgrecco/pint: 1
- plantuml/plantuml: 1
- sbt/sbt: 1
- amperser/proselint: 1
- GianlucaGuarini/Tocca.js: 1
- citation-file-format/ruby-cff: 1
- cpitclaudel/alectryon: 1
- alecthomas/importmagic: 1
- csail-csg/pyverilator: 1
- mhrivnak/radiotherm: 1
- tinyfpga/TinyFPGA-Bootloader: 1
- wosc/rsspull: 1
- mattermost/mattermost-plugin-email-reply: 1
Pull requests created
- coq-community/hydra-battles: 8
- flycheck/flycheck: 6
- ProofGeneral/PG: 5
- cpitclaudel/dafny: 3
- flycheck/flycheck-pos-tip: 3
- csail-csg/pyverilator: 3
- cpitclaudel/alectryon: 3
- Malabarba/rich-minority: 2
- getpelican/pelican: 2
- Malabarba/Nameless: 1
- Malabarba/camcorder.el: 1
- CSSLint/csslint: 1
- alecthomas/importmagic: 1
- eno-lang/enolib: 1
- ejgallego/coq-serapi: 1
- cpitclaudel/biblio.el: 1
- python/typeshed: 1
- mcmtroffaes/pybtex-docutils: 1
- dafny-lang/dafny: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (89, 53.61%)
- None (51, 30.72%)
- Contributor (15, 9.04%)
- Collaborator (10, 6.02%)
- Owner (1, 0.60%)
Pull Request Author Associations
- Contributor (21, 46.67%)
- Member (15, 33.33%)
- Owner (7, 15.56%)
- None (1, 2.22%)
- Collaborator (1, 2.22%)
Top Issue Labels
- priority: not yet (46)
- kind: bug (36)
- kind: enhancement (23)
- part: resolver (17)
- during 2: compilation of correct program (16)
- part: verifier (15)
- has-workaround: yes (12)
- area: error-reporting (11)
- incompleteness (9)
- enhancement (7)
- area: performance (6)
- misc: question (6)
- part: code-generation (6)
- lang: c# (5)
- bug (5)
Top Pull Request Labels
- status: blocked (3)
- bug (2)
- component: checkers (2)
- status: ready for review (1)