Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / JasonGross issue stats
Total issues: 122
Total pull requests: 139
Merged pull request: 96
Average time to close issues: 7 months
Average time to close pull requests: 8 days
Average comments per issue: 3.16
Average comments per pull request: 1.42
Issues created
- mit-plv/fiat-crypto: 23
- coq/coq: 22
- cpitclaudel/company-coq: 10
- cpitclaudel/alectryon: 10
- coq-community/docker-coq-action: 9
- nschloe/tikzplotlib: 6
- ocaml-wasm/wasm_of_ocaml: 5
- thomas-saigre/tikzplotly: 4
- wandb/wandb: 4
- ocaml/setup-ocaml: 4
- actions/toolkit: 3
- cpitclaudel/monospacifier: 2
- alan-cooney/CircuitsVis: 2
- actions/checkout: 2
- microsoft/vscode: 2
- numpy/numpy: 2
- pytorch/add-annotations-github-action: 1
- dalek-cryptography/curve25519-dalek: 1
- travis-ci/dpl: 1
- brendangregg/FlameGraph: 1
- csvoss/onelinerizer: 1
- jscoq/jscoq: 1
- pytorch/pytorch: 1
- sphinx-doc/sphinx: 1
- davidben/webathena: 1
- scipy/scipy: 1
- centerforaisafety/HarmBench: 1
- PyCQA/pyflakes: 1
Pull requests created
- mit-plv/fiat-crypto: 107
- nschloe/tikzplotlib: 11
- coq/coq: 8
- cpitclaudel/alectryon: 2
- math-comp/math-comp: 2
- plotly/plotly.py: 1
- github/gitignore: 1
- Homebrew/homebrew-core: 1
- cpitclaudel/monospacifier: 1
- scipy/scipy: 1
- TransformerLensOrg/TransformerLens: 1
- coq-community/docker-coq-action: 1
- ocaml-wasm/wasm_of_ocaml: 1
- aantron/bisect_ppx: 1
Maintainer
- mit-plv/fiat-crypto: 130
- coq/coq: 30
Active Maintainer
- mit-plv/fiat-crypto: 101
- coq/coq: 15
Issue Author Associations
- None (56, 45.90%)
- Collaborator (23, 18.85%)
- Member (22, 18.03%)
- Contributor (21, 17.21%)
Pull Request Author Associations
- Collaborator (107, 76.98%)
- None (16, 11.51%)
- Member (8, 5.76%)
- Contributor (8, 5.76%)
Top Issue Labels
- enhancement (16)
- help wanted (8)
- bug (8)
- part: ltac2 (6)
- kind: wish (6)
- question (5)
- kind: user messages (4)
- c:artifacts (4)
- kind: enhancement (4)
- external (3)
- good first issue (2)
- part: unification (2)
- part: apply (2)
- kind: feature (2)
- a:cli (2)
Top Pull Request Labels
- kind: infrastructure (4)
- part: micromega (4)
- part: test-suite (4)
- needs: full CI (3)
- stale (2)
- awaiting-merge-of-dependency (2)
- needs: benchmarking (2)
- kind: enhancement (2)
- ocaml (1)
- needs: fixing (1)
- scipy.special (1)
- enhancement (1)
- work in progress (1)
- awaiting-reviewer-feedback (1)
- help wanted (1)