GitHub / JasonGross issue stats
Total issues: 672
Total pull requests: 1,023
Merged pull request: 781
Average time to close issues: 8 months
Average time to close pull requests: 20 days
Average comments per issue: 2.98
Average comments per pull request: 0.84
Issues created
- coq/coq: 106
- jasongross/coq-tools: 70
- mit-plv/fiat-crypto: 27
- UKGovernmentBEIS/inspect_ai: 25
- rocq-prover/rocq: 24
- coq/ltac2: 21
- coq-community/run-coq-bug-minimizer: 19
- jasongross/guarantees-based-mechanistic-interpretability: 16
- ProofGeneral/PG: 16
- coq/stdlib: 14
- mit-plv/coqutil: 13
- ocaml/setup-ocaml: 13
- coq-community/docker-coq-action: 12
- rocq-prover/bot: 11
- cpitclaudel/alectryon: 10
- cpitclaudel/company-coq: 10
- coq/bot: 10
- mit-plv/bedrock2: 10
- coq/vscoq: 7
- mit-plv/rewriter: 7
- ocaml-wasm/wasm_of_ocaml: 7
- Sage-Future/fatebook: 7
- coq-community/docker-coq: 6
- HoTT/Coq-HoTT: 6
- nschloe/tikzplotlib: 6
- uwplse/coq-change-analytics: 6
- leanprover/lean4-cli: 5
- sympy/sympy: 5
- itsjafer/schwab-api: 4
- rocq-community/coq-dpdgraph: 4
- thomas-saigre/tikzplotly: 4
- trishullab/itp-interface: 4
- bmsherman/topology: 4
- coq-community/reduction-effects: 4
- coq/coq-bench: 3
- MetaCoq/metacoq: 3
- sasozivanovic/memoize: 3
- math-comp/docker-mathcomp: 3
- wandb/wandb: 3
- rocq-prover/stdlib: 3
- coq/repo-coqs-disabled: 3
- gkanwar/zephyrplus: 3
- ocsigen/js_of_ocaml: 3
- mit-plv/rupicola: 3
- coq-community/coq-performance-tests: 3
- agda/agda: 2
- scipy/scipy: 2
- ezyang/logitext: 2
- cpitclaudel/monospacifier: 2
- pytorch/pytorch: 2
- coq-community/coq-tricks: 2
- mit-plv/bbv: 2
- microsoft/vscode: 2
- alan-cooney/CircuitsVis: 2
- leanprover/lean3: 2
- coq/opam: 2
- dalek-cryptography/curve25519-dalek: 2
- QuickChick/QuickChick: 2
- actions/checkout: 2
- textmate/ocaml.tmbundle: 2
- pgf-tikz/pgf: 2
- leanprover/lean4: 2
- rocq-community/run-coq-bug-minimizer: 2
- dependabot/dependabot-core: 2
- ocaml/opam-repository: 2
- borisveytsman/acmart: 2
- trishullab/copra: 2
- MetaRocq/metarocq: 2
- numpy/numpy: 2
- raq929/debugging: 2
- arxiv/html_feedback: 1
- fblanqui/color: 1
- dunnl/tealeaves: 1
- rocq-prover/vscoq: 1
- HypothesisWorks/hypothesis: 1
- zaoqi/github-actions-archlinux: 1
- tensorflow/tensorflow: 1
- josephwright/siunitx: 1
- ocaml/dune: 1
- mit-plv/engine-bench: 1
- csvoss/onelinerizer: 1
- coq/platform: 1
- PyO3/pyo3: 1
- actions/toolkit: 1
- wakatime/wakatime-mode: 1
- lebrice/SimpleParsing: 1
- alexgolec/schwab-py: 1
- Homebrew/homebrew-core: 1
- atroyn/math-llm: 1
- latex3/hyperref: 1
- ocaml/ocamlfind: 1
- centerforaisafety/HarmBench: 1
- AbsInt/CompCert: 1
- s7nfo/Cirron: 1
- travis-ci/dpl: 1
- niklasrosenstein/python-stablehash: 1
- getcursor/cursor: 1
- benediktahrens/rezk_completion: 1
- divide-by-0/autolatex: 1
- gmalecha/coq-ltac-iter: 1
- rocq-community/docker-coq-action: 1
- davidben/webathena: 1
- python/cpython: 1
- coq/rfcs: 1
- ocaml/opam: 1
- purcell/darcs-to-git: 1
- jasongross/guarantees-based-mechanistic-interpretability-with-data: 1
- jasongross/time-worked: 1
- mattam82/Coq-Equations: 1
- gmalecha/mirror-core: 1
- compiler-explorer/compiler-explorer: 1
- CertiCoq/certicoq: 1
- coq/repo-stable-disabled: 1
- neelnanda-io/TransformerLens: 1
- sphinx-doc/sphinx: 1
- tdurieux/anonymous_github: 1
- math-comp/mczify: 1
- gpoore/minted: 1
- travis-ci/apt-source-safelist: 1
- jasongross/this-is-a-test: 1
- WasmCert/WasmCert-Coq: 1
- copumpkin/categories: 1
- jscoq/jscoq: 1
- haskell/haskeline: 1
- rocq-prover/rocq-prover.org: 1
- ubernostrum/webcolors: 1
- coq-community/coq-dpdgraph: 1
- skyskimmer/coq-lean-import: 1
- peol/jquery.imgloaded: 1
- rocq-prover/coq.github.io: 1
- pytorch/add-annotations-github-action: 1
- PrincetonUniversity/VST: 1
- ai-safety-foundation/sparse_autoencoder: 1
- leo-colisson/robust-externalize: 1
- brendangregg/FlameGraph: 1
- ocamlpro/ocp-indent: 1
- coq/coq.github.io: 1
- pschanely/CrossHair: 1
- ulfnorell/insane: 1
- pschanely/hypothesis-crosshair: 1
- princeton-nlp/SWE-bench: 1
- mit-plv/riscv-coq: 1
- uwplse/verdi: 1
- rocq-community/rocq-lean-import: 1
- rocq-community/docker-coq: 1
- joshengels/multidimensionalfeatures: 1
Pull requests created
- mit-plv/fiat-crypto: 266
- jasongross/coq-tools: 184
- mit-plv/rewriter: 87
- coq/coq: 39
- coq-community/coq-performance-tests: 32
- nschloe/tikzplotlib: 30
- rocq-prover/bot: 21
- coq/bot: 18
- jasongross/guarantees-based-mechanistic-interpretability: 17
- mit-plv/coqutil: 16
- mit-plv/fiat: 14
- joshengels/multidimensionalfeatures: 14
- mit-plv/rupicola: 14
- rocq-community/coq-dpdgraph: 13
- MetaCoq/metacoq: 11
- coq/opam: 9
- mit-plv/riscv-coq: 9
- mit-plv/kami: 8
- mit-plv/bbv: 8
- bmsherman/topology: 7
- coq/ltac2: 7
- UKGovernmentBEIS/inspect_ai: 7
- mit-plv/bedrock2: 7
- jasongross/neural-net-coq-interp: 7
- coq-community/run-coq-bug-minimizer: 7
- tchajed/coq-record-update: 6
- TransformerLensOrg/TransformerLens: 6
- AbsInt/CompCert: 6
- swe-bench/SWE-bench: 6
- ProofGeneral/PG: 6
- timaeus-research/devinterp: 5
- coq-community/docker-coq-action: 5
- coq/rfcs: 5
- quinn-dougherty/proof-scaling-meeting: 4
- coq/coq-bench: 4
- copumpkin/categories: 4
- rocq-prover/rocq: 4
- PrincetonUniversity/VST: 4
- rocq-prover/opam: 4
- rocq-community/rocq-lean-import: 3
- ocaml-wasm/wasm_of_ocaml: 3
- coq-community/rocq-lean-import: 3
- rocq-community/coq-ext-lib: 3
- callummcdougall/ARENA_3.0: 3
- mit-plv/engine-bench: 3
- ofou/graham-essays: 3
- math-comp/multinomials: 2
- plotly/plotly.py: 2
- math-comp/math-comp: 2
- gmalecha/mirror-core: 2
- AeneasVerif/aeneas: 2
- numpy/numpy: 2
- rocq-community/run-coq-bug-minimizer: 2
- jasongross/doctoral-thesis: 2
- aantron/bisect_ppx: 2
- ai-safety-foundation/sparse_autoencoder: 2
- coq-tactician/coq-tactician: 2
- rocq-community/math-classes: 2
- github/gitignore: 2
- cpitclaudel/alectryon: 2
- VeriNum/LAProof: 2
- jasongross/test-github-branch-protection-bug: 2
- leanprover-community/mathlib4: 2
- Homebrew/homebrew-core: 2
- model-checking/verify-rust-std: 2
- coq/repo-coqs-disabled: 2
- atroyn/math-llm: 2
- coq-community/vscoq: 1
- wakatime/wakatime-mode: 1
- math-comp/odd-order: 1
- josephwright/siunitx: 1
- jasongross/test-for-github-bug: 1
- dsw/delta: 1
- jasongross/resume: 1
- triviajon/mengine: 1
- cpitclaudel/monospacifier: 1
- coq/repo-8.5: 1
- rocq-prover/stdlib: 1
- ejgallego/coq-serapi: 1
- torfoes/pushpal: 1
- JasonGross/memoshelve: 1
- jasongross/lawvere: 1
- VeriNum/vcfloat: 1
- neelnanda-io/TransformerLens: 1
- gmalecha/coq-plugin-utils: 1
- JasonGross/delta: 1
- sympy/sympy: 1
- JasonGross/fiat-crypto: 1
- agda/agda-categories: 1
- coq-community/coq-tricks: 1
- coq-community/reduction-effects: 1
- rocq-archive/coq-serapi: 1
- mit-pdos/perennial: 1
- coq-community/coq-performance-tests-plots-history: 1
- sasozivanovic/memoize: 1
- coq/stdlib: 1
- latex3/hyperref: 1
- scipy/scipy: 1
- coq/roadmaps: 1
- coq-community/coq-ext-lib: 1
- oracleyue/rubber-for-python3: 1
- rocq-community/awesome-coq: 1
- Apeuriox/lazybot-pp-plus: 1
- raq929/debugging: 1
- uwplse/verdi: 1
- rocq-prover/coq.github.io: 1
Maintainer
- mit-plv/fiat-crypto: 293
- jasongross/coq-tools: 254
- coq/coq: 145
- mit-plv/rewriter: 94
- coq-community/coq-performance-tests: 35
- jasongross/guarantees-based-mechanistic-interpretability: 33
- rocq-prover/bot: 32
- mit-plv/coqutil: 29
- rocq-prover/rocq: 28
- coq/ltac2: 28
- coq/bot: 28
- coq-community/run-coq-bug-minimizer: 26
- rocq-community/coq-dpdgraph: 17
- coq/stdlib: 15
- mit-plv/fiat: 14
Active Maintainer
- jasongross/coq-tools: 125
- mit-plv/fiat-crypto: 120
- coq/coq: 58
- rocq-prover/rocq: 21
- coq/bot: 17
- coq/opam: 10
- rocq-prover/bot: 8
- coq/vscoq: 7
- trishullab/itp-interface: 4
- rocq-community/rocq-lean-import: 4
- coq-community/run-coq-bug-minimizer: 4
- mit-plv/rewriter: 4
- rocq-community/run-coq-bug-minimizer: 4
- mit-plv/fiat: 3
- rocq-prover/stdlib: 3
Issue Author Associations
- Member (253, 37.65%)
- None (153, 22.77%)
- Contributor (116, 17.26%)
- Owner (89, 13.24%)
- Collaborator (61, 9.08%)
Pull Request Author Associations
- Collaborator (394, 38.51%)
- Owner (218, 21.31%)
- Member (185, 18.08%)
- Contributor (159, 15.54%)
- None (67, 6.55%)
Top Issue Labels
- enhancement (65)
- bug (62)
- kind: bug (41)
- kind: wish (32)
- part: ltac2 (30)
- help wanted (29)
- kind: user messages (17)
- kind: enhancement (16)
- question (15)
- engineering (12)
- needs: triage (11)
- bug minimizer (10)
- minimize more (9)
- requires careful thought (9)
- kind: anomaly (9)
Top Pull Request Labels
- kind: enhancement (14)
- kind: infrastructure (12)
- part: CI (10)
- needs: rebase (9)
- part: ltac2 (9)
- needs: full CI (9)
- bug minimizer (5)
- stale (5)
- priority: medium-low (4)
- engineering (4)
- needs: fixing (4)
- kind: fix (4)
- enhancement (4)
- part: primitive types (3)
- request: full CI (3)