Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / yangky11 issue stats
Total issues: 24
Total pull requests: 22
Merged pull request: 17
Average time to close issues: 2 months
Average time to close pull requests: 4 days
Average comments per issue: 2.92
Average comments per pull request: 1.64
Issues created
- ahumenberger/Z3.jl: 2
- benruijl/symbolica: 2
- facebookresearch/multihop_dense_retrieval: 2
- ray-project/ray: 2
- rocq-archive/coq-serapi: 2
- ejgallego/coq-serapi: 2
- zhangir-azerbayev/proofnet: 2
- jcjohnson/simple-amt: 1
- ml4tp/gamepad: 1
- oeb25/smtlib-rs: 1
- probcomp/Gen.jl: 1
- yangky11/smt-portfolio: 1
- cjf00000/scactm: 1
- Lightning-AI/pytorch-lightning: 1
- szagoruyko/cifar.torch: 1
- openai/lean-gym: 1
- facebookarchive/fb.resnet.torch: 1
Pull requests created
- yangky11/minif2f-lean4: 3
- coq-community/coq-plugin-template: 3
- princeton-nlp/nlproofs: 2
- didi/ChineseNLP: 2
- zhangir-azerbayev/proofnet: 2
- neuraloperator/physics_informed: 2
- egraphs-good/egg: 1
- thudm/sciglm: 1
- yangky11/lean4-example: 1
- jcjohnson/simple-amt: 1
- scheinerman/Bijections.jl: 1
- facebookresearch/miniF2F: 1
- princeton-vl/attach-juxtapose-parser: 1
- yangky11/smt-portfolio: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (19, 79.17%)
- Contributor (4, 16.67%)
- Owner (1, 4.17%)
Pull Request Author Associations
- None (7, 31.82%)
- Contributor (7, 31.82%)
- Owner (5, 22.73%)
- Collaborator (3, 13.64%)
Top Issue Labels
- bug (3)
- P1 (2)
- core (2)
- kind: bug (2)
- kind: documentation (2)
- lightningcli (1)
Top Pull Request Labels
- CLA Signed (1)
- question (1)