Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / vbgl issue stats
Total issues: 31
Total pull requests: 217
Merged pull request: 182
Average time to close issues: 5 months
Average time to close pull requests: 7 days
Average comments per issue: 1.74
Average comments per pull request: 0.98
Issues created
- jasmin-lang/jasmin: 13
- mirage/digestif: 2
- coq/coq.github.io: 1
- owlbarn/owl: 1
- mirleft/ocaml-asn1-combinators: 1
- c-cube/qcheck: 1
- janestreet/re2: 1
- camlp5/camlp5: 1
- reasonml/reason-react: 1
- ocaml/dune: 1
- bryphe/reason-gl-matrix: 1
- mirage/ocaml-git: 1
- whitequark/ocaml-expat: 1
- savonet/ocaml-ssl: 1
- math-comp/odd-order: 1
- JuliaPlots/GraphRecipes.jl: 1
- garrigue/lablgtk: 1
- hhugo/odate: 1
Pull requests created
- jasmin-lang/jasmin: 96
- NixOS/nixpkgs: 43
- jasmin-lang/coqword: 13
- fblanqui/color: 7
- LPCIC/coq-elpi: 6
- coq-community/bignums: 6
- coq-community/corn: 6
- plsyssec/fact: 4
- coq-community/aac-tactics: 4
- coq/coq.github.io: 4
- coq-community/math-classes: 3
- rocq-archive/containers: 3
- mit-plv/kami: 3
- mit-plv/fiat: 2
- uwplse/verdi-raft: 2
- coq-community/paramcoq: 2
- lukaszcz/coqhammer: 2
- AbsInt/CompCert: 1
- c-cube/linol: 1
- chris00/ocaml-rope: 1
- coq-community/coq-dpdgraph: 1
- coq/stdlib2: 1
- whitequark/ocaml-expat: 1
- ocaml/num: 1
- coq-community/lemma-overloading: 1
- sile-typesetter/sile-typesetter.github.io: 1
- ocsigen/eliom: 1
- JuliaPerf/LIKWID.jl: 1
Maintainer
- jasmin-lang/jasmin: 109
- jasmin-lang/coqword: 13
Active Maintainer
Issue Author Associations
- None (16, 51.61%)
- Member (13, 41.94%)
- Contributor (2, 6.45%)
Pull Request Author Associations
- Member (109, 50.23%)
- Contributor (107, 49.31%)
- None (1, 0.46%)
Top Issue Labels
- bug (5)
- semantics (2)
- enhancement (1)
- forwarded-to-js-devs (1)
- feature-request (1)
- c-bindings (1)
- open-to-contribution (1)
- ocaml (1)
- TODO (1)
Top Pull Request Labels
- 6.topic: ocaml (34)
- 8.has: package (update) (33)
- 10.rebuild-linux: 1-10 (17)
- 10.rebuild-darwin: 1-10 (16)
- 10.rebuild-darwin: 0 (14)
- 10.rebuild-linux: 0 (13)
- bug (12)
- CI (9)
- backport release-24.11 (7)
- 10.rebuild-linux: 1 (7)
- 8.has: package (new) (7)
- 6.topic: coq (7)
- EasyCrypt (6)
- 10.rebuild-darwin: 1 (6)
- SCT checker (5)