Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / maximedenes issue stats
Total issues: 62
Total pull requests: 186
Merged pull request: 180
Average time to close issues: about 1 year
Average time to close pull requests: 5 days
Average comments per issue: 2.61
Average comments per pull request: 1.55
Issues created
- coq-community/vscoq: 16
- coq/coq-bench: 8
- maximedenes/native-coq: 6
- coq/vscoq: 5
- maximedenes/jasmin-language-server: 4
- coq-community/bignums: 3
- coq/coq: 3
- coq/stdlib2: 3
- janestreet/ppx_expect: 2
- mattam82/Coq-Equations: 2
- coq-community/manifesto: 2
- purescript-web/purescript-web-events: 1
- coq-community/coq-dpdgraph: 1
- lpcic/elpi: 1
- GeoCoq/GeoCoq: 1
- coq-community/math-classes: 1
- PrincetonUniversity/VST: 1
- LPCIC/coq-elpi: 1
- coq/coq.github.io: 1
Pull requests created
- coq-community/vscoq: 49
- coq/vscoq: 37
- mit-plv/fiat: 10
- coq/coq.github.io: 9
- coq-community/corn: 8
- coq/ltac2: 7
- coq-community/math-classes: 6
- coq-community/coq-ext-lib: 5
- LPCIC/coq-elpi: 5
- GeoCoq/GeoCoq: 4
- mattam82/Coq-Equations: 4
- coq-community/bignums: 4
- coq-community/paramcoq: 3
- mit-plv/bedrock2: 3
- coq/coq: 3
- lukaszcz/coqhammer: 3
- clarus/cybele: 3
- mit-plv/bbv: 2
- mit-plv/riscv-coq: 2
- jasmin-lang/jasmin: 2
- fblanqui/color: 2
- coq-community/aac-tactics: 2
- mit-plv/bedrock: 2
- mit-plv/coqutil: 2
- math-comp/math-comp.github.io: 2
- PrincetonUniversity/VST: 1
- coq/stdlib2: 1
- skyskimmer/coq-lean-import: 1
- coq-community/coq-dpdgraph: 1
- jasmin-lang/coqword: 1
- coq/repo-stable-disabled: 1
- purescript-web/purescript-web-events: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (20, 32.26%)
- Collaborator (16, 25.81%)
- Owner (10, 16.13%)
- Contributor (10, 16.13%)
- None (6, 9.68%)
Pull Request Author Associations
- Contributor (74, 39.78%)
- Member (58, 31.18%)
- Collaborator (53, 28.49%)
- None (1, 0.54%)
Top Issue Labels
- enhancement (16)
- bug (6)
- move-project (2)
- external-tool (2)
- forwarded-to-js-devs (2)
- kind: feature (2)
- part: micromega (2)
- documentation (1)
- help wanted (1)
- kind: redesign (1)
- part: standard library (1)
- kind: design discussion (1)
- prio:high (1)
Top Pull Request Labels
- kind: internal (2)
- kind: user messages (1)
- kind: enhancement (1)
- part: search (1)