GitHub / yangky11 issue stats
Total issues: 23
Total pull requests: 21
Merged pull request: 16
Average time to close issues: 2 months
Average time to close pull requests: 4 days
Average comments per issue: 2.3
Average comments per pull request: 1.62
Issues created
- sgl-project/sglang: 3
- ahumenberger/Z3.jl: 2
- facebookresearch/multihop_dense_retrieval: 2
- zhangir-azerbayev/proofnet: 2
- rocq-archive/coq-serapi: 2
- jcjohnson/simple-amt: 1
- ray-project/ray: 1
- ml4tp/gamepad: 1
- oeb25/smtlib-rs: 1
- szagoruyko/cifar.torch: 1
- probcomp/Gen.jl: 1
- yangky11/smt-portfolio: 1
- cjf00000/scactm: 1
- openai/lean-gym: 1
- facebookarchive/fb.resnet.torch: 1
- benruijl/symbolica: 1
- Lightning-AI/pytorch-lightning: 1
Pull requests created
- yangky11/minif2f-lean4: 3
- coq-community/coq-plugin-template: 3
- princeton-nlp/nlproofs: 2
- zhangir-azerbayev/proofnet: 2
- egraphs-good/egg: 1
- thudm/sciglm: 1
- yangky11/lean4-example: 1
- jcjohnson/simple-amt: 1
- didi/ChineseNLP: 1
- sgl-project/sglang: 1
- scheinerman/Bijections.jl: 1
- facebookresearch/miniF2F: 1
- princeton-vl/attach-juxtapose-parser: 1
- neuraloperator/physics_informed: 1
- yangky11/smt-portfolio: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (16, 69.57%)
- Contributor (6, 26.09%)
- Owner (1, 4.35%)
Pull Request Author Associations
- Contributor (7, 33.33%)
- None (6, 28.57%)
- Owner (5, 23.81%)
- Collaborator (3, 14.29%)
Top Issue Labels
- bug (2)
- P1 (1)
- core (1)
- lightningcli (1)
- kind: bug (1)
- kind: documentation (1)
- high priority (1)
- good first issue (1)
Top Pull Request Labels
- CLA Signed (1)
- question (1)