Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / Kraks issue stats
Total issues: 5
Total pull requests: 79
Merged pull request: 71
Average time to close issues: 9 months
Average time to close pull requests: 7 days
Average comments per issue: 2.4
Average comments per pull request: 0.24
Issues created
Pull requests created
- kraks/sai: 41
- regehr/calc-compiler: 11
- tiarkrompf/lms-clean: 11
- TiarkRompf/virtualization-lms-core: 3
- sdiehl/wiwinwlh: 2
- leifandersen/plgradschools: 2
- lotuc/plai-cn: 2
- kraks/diamond-lang: 1
- GaloisInc/crucible: 1
- ksluckow/awesome-symbolic-execution: 1
- namin/scalogno: 1
- Kraks/SAT.rkt: 1
- earthlab/rslurm: 1
- arximboldi/immer: 1
Maintainer
- kraks/sai: 43
- tiarkrompf/lms-clean: 11
- kraks/diamond-lang: 2
- Coq-zh/SF-zh: 1
- Kraks/SAT.rkt: 1
Active Maintainer
Issue Author Associations
- Owner (3, 60.00%)
- Member (1, 20.00%)
- None (1, 20.00%)
Pull Request Author Associations
- Owner (43, 54.43%)
- Contributor (24, 30.38%)
- Collaborator (11, 13.92%)
- None (1, 1.27%)
Top Issue Labels
- bug (1)
Top Pull Request Labels
- performance (3)
- enhancement (2)
- refactor (1)