Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Alizter issue stats
Total issues: 124
Total pull requests: 248
Merged pull request: 170
Average time to close issues: 6 months
Average time to close pull requests: 11 days
Average comments per issue: 3.26
Average comments per pull request: 2.35
Issues created
- uptech/git-ps-rs: 31
- ejgallego/coq-lsp: 25
- HoTT/Coq-HoTT: 9
- coq/coq: 8
- ocaml/dune: 7
- dbuenzli/cmdliner: 3
- jmid/mutaml: 3
- ocaml/setup-ocaml: 3
- textmate/ocaml.tmbundle: 2
- coq-community/coqffi: 2
- janestreet/ppx_expect: 2
- let-def/lwd: 2
- ocaml/ocaml-lsp: 2
- cli/cli: 2
- nix-community/nix-init: 1
- aantron/bisect_ppx: 1
- github-linguist/linguist: 1
- coq-community/vscoq: 1
- coq-community/docker-base: 1
- ocaml/Zarith: 1
- jasongross/coq-tools: 1
- zulip/zulip-desktop: 1
- alacritty/alacritty: 1
- leanprover/lean2: 1
- ocaml/opam: 1
- ocaml/infrastructure: 1
- liyishuai/coq-json: 1
- brunjlar/neural: 1
- ocaml-dune/fiber: 1
- magit/magit: 1
- NixOS/nix: 1
- jetbrains-research/coqpilot: 1
- mattam82/Coq-Equations: 1
- stedolan/malfunction: 1
- emcrisostomo/fswatch: 1
- microsoft/vscode: 1
- 3-manifolds/SnapPy: 1
Pull requests created
- HoTT/Coq-HoTT: 81
- ocaml/dune: 45
- ejgallego/coq-lsp: 25
- uptech/git-ps-rs: 23
- ocaml-dune/pp: 14
- NixOS/nixpkgs: 6
- jmid/mutaml: 5
- rgrinberg/lev: 4
- coq-community/coq-dpdgraph: 3
- ocaml-dune/fiber: 3
- ocaml/merlin: 3
- jwiegley/category-theory: 3
- jasmin-lang/jasmin: 2
- math-comp/multinomials: 2
- coq/stdlib2: 2
- mit-plv/riscv-coq: 2
- coq-community/aac-tactics: 2
- benchmark-action/github-action-benchmark: 1
- hott/epit-2020: 1
- tchajed/coq-classes: 1
- coq-community/autosubst: 1
- fblanqui/color: 1
- mit-plv/coqutil: 1
- ocaml/opam-file-format: 1
- let-def/lwd: 1
- pqwy/notty: 1
- mit-plv/kami: 1
- dwarfmaster/commutative-diagrams: 1
- uwplse/structtact: 1
- ocaml-dune/dune-bench: 1
- uwplse/verdi: 1
- Mtac2/Mtac2: 1
- mit-plv/rewriter: 1
- distributedcomponents/infseqext: 1
- coq-community/bignums: 1
- mattam82/Coq-Equations: 1
- mit-pdos/argosy: 1
- coq/opam: 1
- ocaml/dune-www: 1
- uwplse/cheerios: 1
Maintainer
- HoTT/Coq-HoTT: 90
- ocaml/dune: 52
- ejgallego/coq-lsp: 50
- uptech/git-ps-rs: 28
Active Maintainer
- HoTT/Coq-HoTT: 88
- ocaml/dune: 13
- ejgallego/coq-lsp: 13
- uptech/git-ps-rs: 2
Issue Author Associations
- Collaborator (62, 50.00%)
- None (34, 27.42%)
- Contributor (28, 22.58%)
Pull Request Author Associations
- Collaborator (158, 63.71%)
- Contributor (81, 32.66%)
- None (9, 3.63%)
Top Issue Labels
- kind: bug (14)
- bug (9)
- enhancement (6)
- kind: design discussion (4)
- kind: performance (4)
- kind: enhancement (4)
- coq (3)
- algebra (3)
- good first issue (3)
- platform (2)
- part: lsp server (2)
- part: protocol (LSP) (2)
- part: Coq API (2)
- part: rewrite rules (2)
- discussion (2)
Top Pull Request Labels
- coq (5)
- cleanup (3)
- 6.topic: ocaml (3)
- part: CI (3)
- part: build (2)
- 11.by: package-maintainer (2)
- 10.rebuild-darwin: 1-10 (2)
- 10.rebuild-linux: 1-10 (2)
- 10.rebuild-linux: 1 (1)
- 10.rebuild-darwin: 1 (1)
- 8.has: package (new) (1)
- part: documentation (1)
- part: test-suite (1)
- 12.approvals: 1 (1)
- 10.rebuild-linux: 0 (1)