Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / andres-erbsen issue stats
Total issues: 129
Total pull requests: 187
Merged pull request: 126
Average time to close issues: 3 months
Average time to close pull requests: 26 days
Average comments per issue: 3.19
Average comments per pull request: 1.8
Issues created
- mit-plv/bedrock2: 35
- YahooArchive/coname: 19
- andres-erbsen/chatterbox: 16
- coq/coq: 7
- mit-plv/fiat-crypto: 7
- mit-plv/riscv-semantics: 4
- thoughtpolice/salt: 4
- whonore/Coqtail: 4
- andres-erbsen/dename: 3
- daniel-ziegler/merklemap: 3
- mit-plv/coqutil: 3
- coq/stdlib2: 3
- yosyshq/prjtrellis: 2
- leanprover/lean3: 2
- mit-plv/rupicola: 2
- vnmakarov/yaep: 2
- beancount/fava: 2
- mit-plv/riscv-coq: 1
- mit-plv/engine-bench: 1
- charlesaverill/ctpe: 1
- sifive/kami: 1
- uds-psl/metacoq-nested-induction: 1
- jasongross/coq-tools: 1
- excamera/alfalfa: 1
- miguelmota/streamhut: 1
- andlabs/ui: 1
- TinoGehlert/md_plot: 1
- HACS-workshop/hacspec: 1
Pull requests created
- mit-plv/fiat-crypto: 41
- coq/coq: 33
- mit-plv/bedrock2: 28
- mit-plv/rupicola: 23
- mit-plv/coqutil: 13
- YahooArchive/coname: 8
- mit-pdos/perennial: 4
- andres-erbsen/dename: 4
- mit-plv/rewriter: 4
- mit-plv/kami: 3
- coq/ceps: 3
- coq-community/bignums: 3
- fblanqui/color: 2
- jasongross/neural-net-coq-interp: 2
- AbsInt/CompCert: 2
- andres-erbsen/chatterbox: 1
- coq-community/math-classes: 1
- agl/ed25519: 1
- PrincetonUniversity/VST: 1
- HACS-workshop/hacspec: 1
- mit-plv/bbv: 1
- jwiegley/category-theory: 1
- thery/coqprime: 1
- gares/sel: 1
- whonore/Coqtail: 1
- mattam82/Coq-Equations: 1
- impermeable/coq-waterproof: 1
- coq-community/corn: 1
- mit-plv/bedrock2-ci: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (80, 62.02%)
- None (27, 20.93%)
- Owner (19, 14.73%)
- Collaborator (3, 2.33%)
Pull Request Author Associations
- Contributor (169, 90.37%)
- None (13, 6.95%)
- Owner (5, 2.67%)
Top Issue Labels
- bug (8)
- enhancement (5)
- kind: bug (3)
- needs: triage (3)
- kind: user messages (2)
- part: auto (2)
- kind: performance (1)
- part: modules (1)
- part: typeclasses (1)
- part: tactics (1)
- food for thought (1)
- part: build (1)
- kind: wish (1)
- api (1)
- security (1)
Top Pull Request Labels
- part: standard library (28)
- kind: cleanup (17)
- kind: enhancement (8)
- needs: full CI (5)
- needs: merge of dependency (4)
- part: program (4)
- needs: overlay (4)
- needs: changelog entry (4)
- kind: infrastructure (3)
- kind: feature (2)
- part: micromega (2)
- kind: fix (2)
- stale (2)
- needs: rebase (2)
- part: CI (1)