Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ankushdesai issue stats
Total issues: 34
Total pull requests: 56
Merged pull request: 53
Average time to close issues: 12 months
Average time to close pull requests: about 10 hours
Average comments per issue: 2.56
Average comments per pull request: 0.07
Issues created
- p-org/P: 16
- p-org/PSharp: 6
- rohanpadhye/JQF: 5
- microsoft/coyote: 5
- sri-csl/radler: 1
- koka-lang/libhandler: 1
Pull requests created
- p-org/P: 56
Maintainer
- p-org/P: 72
- p-org/PSharp: 6
Active Maintainer
- p-org/P: 18
Issue Author Associations
- Member (22, 64.71%)
- None (12, 35.29%)
Pull Request Author Associations
- Member (56, 100.00%)
Top Issue Labels
- P Language Enhancement (7)
- Feature Request (6)
- P Module System (Compositional Reasoning) (4)
- Question (2)
- Information (2)
- question (2)
- controlled-testing (1)
- help wanted (1)
- bug (1)
- BUG: P Runtime (1)
Top Pull Request Labels
- BUG: P Compiler (2)