Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / fblanqui issue stats
Total issues: 166
Total pull requests: 312
Merged pull request: 295
Average time to close issues: 5 months
Average time to close pull requests: 7 days
Average comments per issue: 1.58
Average comments per pull request: 0.21
Issues created
- deducteam/lambdapi: 71
- deducteam/dedukti: 16
- deducteam/coqine: 12
- deducteam/holide: 7
- deducteam/logipedia: 6
- deducteam/ekstrakto: 5
- coq/coq: 4
- deducteam/isabelle_dedukti: 4
- rlepigre/ocaml-bindlib: 3
- deducteam/nubo: 3
- 01mf02/kontroli-rs: 2
- rlepigre/ocaml-earley-ocaml: 2
- Deducteam/hol2dk: 2
- deducteam/zenon_modulo: 2
- deducteam/sizechangetool: 2
- ocaml/setup-ocaml: 2
- deducteam/agda2dedukti: 2
- gabrielhdt/pratter: 2
- ProofGeneral/PG: 1
- rlepigre/ocaml-earley: 1
- bedrocksystems/coq-lens: 1
- cpitclaudel/company-coq: 1
- lpcic/matita: 1
- aantron/dream: 1
- deducteam/ett-in-lambdapi: 1
- ocaml/ocamlbuild: 1
- deducteam/opam-lambdapi-repository: 1
- GeoCoq/GeoCoq: 1
- ocaml/opam: 1
- coq-community/aac-tactics: 1
- dbuenzli/cmdliner: 1
- ocaml/ocamlfind: 1
- ocaml-community/sedlex: 1
- deducteam/dedukti_set_theory: 1
- coq/opam: 1
- math-comp/hierarchy-builder: 1
- lpcic/elpi: 1
Pull requests created
- Deducteam/hol2dk: 136
- deducteam/lambdapi: 51
- deducteam/lambdapi-stdlib: 29
- deducteam/zenon_modulo: 28
- deducteam/isabelle_dedukti: 16
- Deducteam/coq-hol-light-real-with-nat: 11
- deducteam/lambdapi-logics: 7
- deducteam/coq-hol-light: 5
- fblanqui/color: 5
- deducteam/lambdapi-zenon: 5
- deducteam/dedukti: 4
- deducteam/coq-hol-light-real: 3
- coq/opam: 3
- deducteam/opam-lambdapi-repository: 3
- deducteam/skonverto: 2
- coq/repo-stable-disabled: 2
- ocaml/opam-repository: 1
- deducteam/ekstrakto: 1
Maintainer
- Deducteam/hol2dk: 138
- deducteam/lambdapi: 122
- deducteam/zenon_modulo: 30
- deducteam/lambdapi-stdlib: 29
- deducteam/dedukti: 20
- deducteam/isabelle_dedukti: 20
- deducteam/coqine: 12
- Deducteam/coq-hol-light-real-with-nat: 11
- deducteam/holide: 7
- deducteam/lambdapi-logics: 7
- deducteam/logipedia: 6
- deducteam/ekstrakto: 6
- deducteam/lambdapi-zenon: 5
- deducteam/coq-hol-light: 5
- fblanqui/color: 5
Active Maintainer
- deducteam/lambdapi: 73
- deducteam/zenon_modulo: 22
- deducteam/lambdapi-stdlib: 19
- Deducteam/hol2dk: 15
- deducteam/dedukti: 11
- Deducteam/coq-hol-light-real-with-nat: 11
- deducteam/lambdapi-zenon: 5
- deducteam/coq-hol-light: 4
- deducteam/coq-hol-light-real: 3
- fblanqui/color: 2
- deducteam/lambdapi-logics: 2
- deducteam/isabelle_dedukti: 2
- deducteam/opam-lambdapi-repository: 1
Issue Author Associations
- Member (135, 81.33%)
- None (30, 18.07%)
- Contributor (1, 0.60%)
Pull Request Author Associations
- Member (301, 96.47%)
- Contributor (6, 1.92%)
- Owner (5, 1.60%)
Top Issue Labels
- feature request (10)
- emacs (8)
- code documentation (7)
- vscode (6)
- question (4)
- notation (2)
- lsp (2)
- error message (2)
- documentation (1)
- invalid (1)
- wontfix (1)
- enhancement (1)
- discussion (1)
- bug (1)