GitHub / vbgl issue stats
Total issues: 41
Total pull requests: 294
Merged pull request: 255
Average time to close issues: 5 months
Average time to close pull requests: 7 days
Average comments per issue: 1.85
Average comments per pull request: 0.95
Issues created
- jasmin-lang/jasmin: 21
- andrewcooke/ParserCombinator.jl: 1
- owlbarn/owl: 1
- mirleft/ocaml-asn1-combinators: 1
- c-cube/qcheck: 1
- mirage/digestif: 1
- janestreet/re2: 1
- camlp5/camlp5: 1
- reasonml/reason-react: 1
- ocamlpro/ocplib-simplex: 1
- ocaml/dune: 1
- savonet/ocaml-ssl: 1
- bryphe/reason-gl-matrix: 1
- mirage/ocaml-git: 1
- ocsigen/ocsigen-toolkit: 1
- whitequark/ocaml-expat: 1
- math-comp/odd-order: 1
- JuliaPlots/GraphRecipes.jl: 1
- rocq-prover/coq.github.io: 1
- garrigue/lablgtk: 1
- hhugo/odate: 1
Pull requests created
- jasmin-lang/jasmin: 137
- NixOS/nixpkgs: 48
- rocq-community/coq-nix-toolbox: 33
- jasmin-lang/coqword: 13
- fblanqui/color: 7
- rocq-community/corn: 6
- LPCIC/coq-elpi: 6
- rocq-community/bignums: 6
- rocq-prover/coq.github.io: 4
- rocq-community/math-classes: 3
- mit-plv/kami: 3
- rocq-archive/containers: 3
- plsyssec/fact: 2
- uwplse/verdi-raft: 2
- rocq-community/aac-tactics: 2
- lukaszcz/coqhammer: 2
- ocaml-community/ocamlscript: 1
- c-cube/linol: 1
- AbsInt/CompCert: 1
- ocamlpro/ocplib-simplex: 1
- rocq-community/paramcoq: 1
- chris00/ocaml-rope: 1
- coq/stdlib2: 1
- rocq-community/coq-dpdgraph: 1
- whitequark/ocaml-expat: 1
- ocaml/num: 1
- ocsigen/ocsigen-start: 1
- mit-plv/fiat: 1
- sile-typesetter/sile-typesetter.github.io: 1
- lyonel2017/jasmin-doc: 1
- ocsigen/eliom: 1
- rocq-community/lemma-overloading: 1
- JuliaPerf/LIKWID.jl: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (21, 51.22%)
- None (17, 41.46%)
- Contributor (3, 7.32%)
Pull Request Author Associations
- Member (150, 51.02%)
- Contributor (110, 37.41%)
- Collaborator (33, 11.22%)
- None (1, 0.34%)
Top Issue Labels
- bug (11)
- arm (2)
- type-checking (2)
- enhancement (1)
- forwarded-to-js-devs (1)
- feature-request (1)
- c-bindings (1)
- open-to-contribution (1)
- semantics (1)
- ocaml (1)
- TODO (1)
- register-allocation (1)
- SCT checker (1)
- question (1)
Top Pull Request Labels
- 8.has: package (update) (34)
- 6.topic: ocaml (34)
- 10.rebuild-linux: 1-10 (20)
- 10.rebuild-darwin: 1-10 (18)
- CI (18)
- bug (17)
- 10.rebuild-darwin: 0 (16)
- 10.rebuild-linux: 0 (14)
- EasyCrypt (13)
- 10.rebuild-linux: 1 (11)
- 6.topic: coq (10)
- 10.rebuild-darwin: 1 (9)
- 12.approvals: 1 (6)
- backport release-24.11 (6)
- 8.has: package (new) (6)