Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / shazqadeer issue stats
Total issues: 8
Total pull requests: 4
Merged pull request: 1
Average time to close issues: almost 2 years
Average time to close pull requests: 3 days
Average comments per issue: 2.13
Average comments per pull request: 6.75
Issues created
- p-org/PSharp: 3
- p-org/P: 2
- Z3Prover/z3: 1
- dafny-lang/dafny: 1
- koka-lang/libhandler: 1
Pull requests created
Maintainer
- p-org/P: 2
Active Maintainer
Issue Author Associations
- None (6, 75.00%)
- Collaborator (2, 25.00%)
Pull Request Author Associations
- Contributor (3, 75.00%)
- None (1, 25.00%)
Top Issue Labels
- P Module System (Compositional Reasoning) (2)
- Feature Request (2)
- part: documentation (1)
Top Pull Request Labels
- release notes: onnx (1)
- module: dynamo (1)
- ciflow/inductor (1)
- release notes: AO frontend (1)
- CLA Signed (1)
- fb-exported (1)