GitHub / andres-erbsen issue stats
Total issues: 131
Total pull requests: 208
Merged pull request: 148
Average time to close issues: 4 months
Average time to close pull requests: about 1 month
Average comments per issue: 3.27
Average comments per pull request: 1.55
Issues created
- mit-plv/bedrock2: 36
- YahooArchive/coname: 19
- andres-erbsen/chatterbox: 16
- mit-plv/fiat-crypto: 11
- coq/coq: 8
- thoughtpolice/salt: 4
- coq/stdlib2: 3
- mit-plv/coqutil: 3
- andres-erbsen/dename: 3
- daniel-ziegler/merklemap: 3
- leanprover/lean3: 2
- whonore/Coqtail: 2
- mit-plv/riscv-semantics: 2
- sifive/kami: 1
- gmalecha/coq-interaction-trees: 1
- vnmakarov/yaep: 1
- jasongross/coq-tools: 1
- rocq-prover/rocq: 1
- mit-plv/riscv-coq: 1
- mit-plv/engine-bench: 1
- TinoGehlert/md_plot: 1
- beancount/fava: 1
- yosyshq/prjtrellis: 1
- andlabs/ui: 1
- uds-psl/metacoq-nested-induction: 1
- charlesaverill/ctpe: 1
- excamera/alfalfa: 1
- samuelgruetter/riscv-coq: 1
- miguelmota/streamhut: 1
- HACS-workshop/hacspec: 1
- mit-plv/rupicola: 1
- signalapp/Signal-Android: 1
Pull requests created
- mit-plv/fiat-crypto: 54
- mit-plv/bedrock2: 34
- coq/coq: 24
- mit-plv/rupicola: 21
- mit-plv/coqutil: 19
- YahooArchive/coname: 8
- andres-erbsen/dename: 4
- mit-plv/rewriter: 4
- mit-plv/kami: 3
- AbsInt/CompCert: 3
- PrincetonUniversity/VST: 3
- mit-pdos/perennial: 2
- rocq-community/math-classes: 2
- fblanqui/color: 2
- rocq-community/bignums: 2
- coq/rfcs: 2
- jasongross/neural-net-coq-interp: 1
- MetaCoq/metacoq: 1
- andres-erbsen/chatterbox: 1
- rocq-prover/rocq-prover.org: 1
- math-comp/analysis: 1
- coq-community/math-classes: 1
- agl/ed25519: 1
- jasmin-lang/jasmin: 1
- samuelgruetter/riscv-coq: 1
- HACS-workshop/hacspec: 1
- mit-plv/bbv: 1
- rocq-community/corn: 1
- jwiegley/category-theory: 1
- thery/coqprime: 1
- gares/sel: 1
- whonore/Coqtail: 1
- coq-community/coq-performance-tests: 1
- coq-community/bignums: 1
- mattam82/Coq-Equations: 1
- impermeable/coq-waterproof: 1
- mit-plv/bedrock2-ci: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (84, 64.12%)
- None (25, 19.08%)
- Owner (19, 14.50%)
- Collaborator (3, 2.29%)
Pull Request Author Associations
- Contributor (192, 92.31%)
- None (11, 5.29%)
- Owner (5, 2.40%)
Top Issue Labels
- bug (7)
- enhancement (4)
- kind: bug (3)
- kind: user messages (2)
- kind: wish (2)
- needs: triage (2)
- part: auto (1)
- security (1)
- api (1)
- part: build (1)
- food for thought (1)
- part: tactics (1)
- part: standard library (1)
- part: typeclasses (1)
- part: modules (1)
Top Pull Request Labels
- part: standard library (18)
- needs: rebase (14)
- stale (13)
- kind: cleanup (11)
- kind: enhancement (5)
- needs: full CI (4)
- kind: infrastructure (3)
- kind: fix (2)
- needs: overlay (2)
- part: program (2)
- needs: merge of dependency (2)
- part: micromega (2)
- kind: user messages (1)
- awaiting-continuous-integration-check (1)
- part: CI (1)