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: 136
Total pull requests: 206
Merged pull request: 138
Average time to close issues: 4 months
Average time to close pull requests: about 1 month
Average comments per issue: 3.13
Average comments per pull request: 2.03
Issues created
- mit-plv/bedrock2: 36
- YahooArchive/coname: 19
- andres-erbsen/chatterbox: 16
- coq/coq: 9
- mit-plv/fiat-crypto: 9
- thoughtpolice/salt: 4
- whonore/Coqtail: 4
- mit-plv/riscv-semantics: 4
- mit-plv/coqutil: 3
- andres-erbsen/dename: 3
- daniel-ziegler/merklemap: 3
- coq/stdlib2: 3
- vnmakarov/yaep: 2
- beancount/fava: 2
- mit-plv/rupicola: 2
- yosyshq/prjtrellis: 2
- leanprover/lean3: 2
- TinoGehlert/md_plot: 1
- mit-plv/engine-bench: 1
- mit-plv/riscv-coq: 1
- jasongross/coq-tools: 1
- sifive/kami: 1
- HACS-workshop/hacspec: 1
- andlabs/ui: 1
- uds-psl/metacoq-nested-induction: 1
- charlesaverill/ctpe: 1
- samuelgruetter/riscv-coq: 1
- miguelmota/streamhut: 1
- excamera/alfalfa: 1
- gmalecha/coq-interaction-trees: 1
Pull requests created
- mit-plv/fiat-crypto: 41
- coq/coq: 37
- mit-plv/bedrock2: 29
- mit-plv/rupicola: 23
- mit-plv/coqutil: 14
- YahooArchive/coname: 8
- mit-plv/rewriter: 4
- andres-erbsen/dename: 4
- mit-pdos/perennial: 4
- coq/rfcs: 3
- coq-community/bignums: 3
- coq/ceps: 3
- mit-plv/kami: 3
- coq-community/coq-performance-tests: 2
- math-comp/analysis: 2
- AbsInt/CompCert: 2
- fblanqui/color: 2
- PrincetonUniversity/VST: 2
- coq-community/math-classes: 2
- jasongross/neural-net-coq-interp: 2
- MetaCoq/metacoq: 2
- agl/ed25519: 1
- andres-erbsen/chatterbox: 1
- jasmin-lang/jasmin: 1
- samuelgruetter/riscv-coq: 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 (85, 62.50%)
- None (29, 21.32%)
- Owner (19, 13.97%)
- Collaborator (3, 2.21%)
Pull Request Author Associations
- Contributor (183, 88.83%)
- None (18, 8.74%)
- Owner (5, 2.43%)
Top Issue Labels
- bug (8)
- enhancement (5)
- kind: bug (4)
- needs: triage (3)
- part: auto (2)
- kind: user messages (2)
- part: standard library (1)
- part: typeclasses (1)
- part: tactics (1)
- part: modules (1)
- food for thought (1)
- part: build (1)
- kind: wish (1)
- api (1)
- security (1)
Top Pull Request Labels
- part: standard library (31)
- needs: rebase (22)
- kind: cleanup (20)
- stale (18)
- kind: enhancement (8)
- needs: full CI (4)
- needs: overlay (4)
- part: program (4)
- needs: merge of dependency (4)
- kind: infrastructure (3)
- part: micromega (3)
- kind: fix (2)
- kind: feature (2)
- kind: user messages (1)
- awaiting-continuous-integration-check (1)