GitHub / JasonGross issue stats
Total issues: 541
Total pull requests: 676
Merged pull request: 548
Average time to close issues: 5 months
Average time to close pull requests: 19 days
Average comments per issue: 3.37
Average comments per pull request: 0.86
Issues created
- coq/coq: 78
- jasongross/coq-tools: 68
- mit-plv/fiat-crypto: 27
- coq/ltac2: 21
- coq-community/run-coq-bug-minimizer: 20
- jasongross/guarantees-based-mechanistic-interpretability: 18
- ProofGeneral/PG: 16
- ocaml/setup-ocaml: 13
- mit-plv/coqutil: 13
- rocq-prover/rocq: 12
- rocq-prover/stdlib: 12
- coq-community/docker-coq-action: 11
- cpitclaudel/alectryon: 10
- cpitclaudel/company-coq: 10
- mit-plv/bedrock2: 10
- mit-plv/rewriter: 7
- coq/vscoq: 6
- coq-community/docker-coq: 6
- uwplse/coq-change-analytics: 6
- coq/bot: 6
- nschloe/tikzplotlib: 6
- leanprover/lean4-cli: 5
- ocaml-wasm/wasm_of_ocaml: 5
- wandb/wandb: 4
- rocq-community/coq-dpdgraph: 4
- thomas-saigre/tikzplotly: 4
- bmsherman/topology: 4
- coq-community/reduction-effects: 4
- math-comp/docker-mathcomp: 3
- coq/repo-coqs-disabled: 3
- coq/coq-bench: 3
- MetaCoq/metacoq: 3
- coq-community/coq-performance-tests: 3
- itsjafer/schwab-api: 3
- ocsigen/js_of_ocaml: 3
- gkanwar/zephyrplus: 3
- mit-plv/rupicola: 3
- numpy/numpy: 2
- raq929/debugging: 2
- actions/checkout: 2
- alan-cooney/CircuitsVis: 2
- rocq-community/rocq-lean-import: 2
- microsoft/vscode: 2
- dependabot/dependabot-core: 2
- ocaml/opam-repository: 2
- rocq-prover/vscoq: 2
- PrincetonUniversity/VST: 2
- mit-plv/bbv: 2
- leanprover/lean3: 2
- ezyang/logitext: 2
- scipy/scipy: 2
- dalek-cryptography/curve25519-dalek: 2
- MetaRocq/metarocq: 2
- cpitclaudel/monospacifier: 2
- coq-community/coq-tricks: 2
- coq/opam: 2
- textmate/ocaml.tmbundle: 2
- QuickChick/QuickChick: 2
- borisveytsman/acmart: 2
- atroyn/math-llm: 1
- Homebrew/homebrew-core: 1
- mattam82/Coq-Equations: 1
- lebrice/SimpleParsing: 1
- ocaml/ocamlfind: 1
- uwplse/verdi: 1
- dunnl/tealeaves: 1
- pschanely/CrossHair: 1
- coq/coq.github.io: 1
- ocamlpro/ocp-indent: 1
- wakatime/wakatime-mode: 1
- ulfnorell/insane: 1
- fblanqui/color: 1
- mit-plv/riscv-coq: 1
- pschanely/hypothesis-crosshair: 1
- josephwright/siunitx: 1
- alexgolec/schwab-py: 1
- mit-plv/engine-bench: 1
- gmalecha/mirror-core: 1
- pytorch/pytorch: 1
- actions/toolkit: 1
- swe-bench/SWE-bench: 1
- csvoss/onelinerizer: 1
- tensorflow/tensorflow: 1
- HypothesisWorks/hypothesis: 1
- CertiCoq/certicoq: 1
- purcell/darcs-to-git: 1
- rocq-community/run-coq-bug-minimizer: 1
- AbsInt/CompCert: 1
- math-comp/mczify: 1
- jasongross/guarantees-based-mechanistic-interpretability-with-data: 1
- PyCQA/pyflakes: 1
- centerforaisafety/HarmBench: 1
- gpoore/minted: 1
- peol/jquery.imgloaded: 1
- rocq-prover/coq.github.io: 1
- pytorch/add-annotations-github-action: 1
- jasongross/time-worked: 1
- benediktahrens/rezk_completion: 1
- travis-ci/apt-source-safelist: 1
- jasongross/this-is-a-test: 1
- brendangregg/FlameGraph: 1
- travis-ci/dpl: 1
- WasmCert/WasmCert-Coq: 1
- copumpkin/categories: 1
- coq/repo-stable-disabled: 1
- rocq-community/docker-coq: 1
- joshengels/multidimensionalfeatures: 1
- coq/platform: 1
- jscoq/jscoq: 1
- haskell/haskeline: 1
- ocaml/dune: 1
- rocq-prover/rocq-prover.org: 1
- divide-by-0/autolatex: 1
- gmalecha/coq-ltac-iter: 1
- zaoqi/github-actions-archlinux: 1
- sphinx-doc/sphinx: 1
- ubernostrum/webcolors: 1
- coq-community/coq-dpdgraph: 1
- davidben/webathena: 1
- HoTT/Coq-HoTT: 1
- coq/rfcs: 1
- tdurieux/anonymous_github: 1
- ocaml/opam: 1
Pull requests created
- mit-plv/fiat-crypto: 177
- jasongross/coq-tools: 108
- mit-plv/rewriter: 84
- coq-community/coq-performance-tests: 28
- coq/coq: 20
- mit-plv/coqutil: 16
- nschloe/tikzplotlib: 16
- rocq-community/coq-dpdgraph: 13
- mit-plv/fiat: 12
- joshengels/multidimensionalfeatures: 10
- mit-plv/riscv-coq: 9
- mit-plv/rupicola: 9
- mit-plv/bbv: 8
- mit-plv/kami: 8
- jasongross/guarantees-based-mechanistic-interpretability: 7
- bmsherman/topology: 7
- coq/ltac2: 7
- mit-plv/bedrock2: 6
- swe-bench/SWE-bench: 6
- MetaCoq/metacoq: 6
- coq-community/run-coq-bug-minimizer: 6
- PrincetonUniversity/VST: 6
- ProofGeneral/PG: 6
- coq/rfcs: 5
- tchajed/coq-record-update: 5
- copumpkin/categories: 4
- coq/coq-bench: 4
- rocq-prover/opam: 4
- jasongross/neural-net-coq-interp: 4
- coq/opam: 4
- AbsInt/CompCert: 3
- TransformerLensOrg/TransformerLens: 3
- coq/bot: 3
- coq-community/docker-coq-action: 3
- rocq-community/coq-ext-lib: 3
- rocq-community/rocq-lean-import: 3
- coq/repo-coqs-disabled: 2
- atroyn/math-llm: 2
- mit-plv/engine-bench: 2
- jasongross/test-github-branch-protection-bug: 2
- gmalecha/mirror-core: 2
- cpitclaudel/alectryon: 2
- quinn-dougherty/proof-scaling-meeting: 2
- rocq-community/math-classes: 2
- jasongross/doctoral-thesis: 2
- math-comp/multinomials: 2
- math-comp/math-comp: 2
- coq-tactician/coq-tactician: 1
- ocaml-wasm/wasm_of_ocaml: 1
- scipy/scipy: 1
- cpitclaudel/monospacifier: 1
- coq/repo-8.5: 1
- wakatime/wakatime-mode: 1
- rocq-prover/stdlib: 1
- coq/roadmaps: 1
- coq-community/coq-ext-lib: 1
- jasongross/test-for-github-bug: 1
- plotly/plotly.py: 1
- jasongross/lawvere: 1
- rocq-community/awesome-coq: 1
- gmalecha/coq-plugin-utils: 1
- AeneasVerif/aeneas: 1
- rocq-community/run-coq-bug-minimizer: 1
- raq929/debugging: 1
- numpy/numpy: 1
- uwplse/verdi: 1
- agda/agda-categories: 1
- aantron/bisect_ppx: 1
- coq-community/coq-tricks: 1
- coq-community/reduction-effects: 1
- rocq-prover/coq.github.io: 1
- math-comp/odd-order: 1
- github/gitignore: 1
- rocq-archive/coq-serapi: 1
- mit-pdos/perennial: 1
- jasongross/resume: 1
- coq-community/coq-performance-tests-plots-history: 1
- Homebrew/homebrew-core: 1
Maintainer
- mit-plv/fiat-crypto: 204
- jasongross/coq-tools: 176
- coq/coq: 98
- mit-plv/rewriter: 91
- coq-community/coq-performance-tests: 31
- mit-plv/coqutil: 29
- coq/ltac2: 28
- coq-community/run-coq-bug-minimizer: 26
- jasongross/guarantees-based-mechanistic-interpretability: 25
- rocq-community/coq-dpdgraph: 17
- rocq-prover/stdlib: 13
- mit-plv/fiat: 12
- rocq-prover/rocq: 12
- coq/bot: 9
- coq/coq-bench: 7
Active Maintainer
- mit-plv/fiat-crypto: 71
- jasongross/coq-tools: 61
- coq/coq: 50
- rocq-prover/rocq: 8
- coq/opam: 6
- coq/vscoq: 6
- rocq-community/rocq-lean-import: 5
- coq-community/run-coq-bug-minimizer: 3
- rocq-prover/stdlib: 3
- coq/bot: 3
- mit-plv/rewriter: 2
- rocq-prover/vscoq: 2
- rocq-community/run-coq-bug-minimizer: 2
- mit-plv/fiat: 1
- mit-plv/engine-bench: 1
Issue Author Associations
- Member (194, 35.86%)
- None (120, 22.18%)
- Owner (89, 16.45%)
- Contributor (82, 15.16%)
- Collaborator (56, 10.35%)
Pull Request Author Associations
- Collaborator (293, 43.34%)
- Owner (126, 18.64%)
- Contributor (119, 17.60%)
- Member (113, 16.72%)
- None (25, 3.70%)
Top Issue Labels
- bug (57)
- enhancement (54)
- help wanted (31)
- kind: wish (27)
- part: ltac2 (26)
- kind: bug (26)
- question (16)
- kind: user messages (15)
- engineering (14)
- kind: enhancement (10)
- minimize more (9)
- requires careful thought (9)
- part: sort polymorphism (8)
- priority: medium-low (8)
- kind: performance (6)
Top Pull Request Labels
- kind: enhancement (8)
- needs: full CI (6)
- kind: infrastructure (5)
- part: ltac2 (4)
- needs: rebase (4)
- part: micromega (4)
- part: test-suite (4)
- stale (3)
- needs: fixing (3)
- enhancement (3)
- reviewed-eo (3)
- part: CI (2)
- engineering (2)
- priority: medium-low (2)
- kind: fix (2)