GitHub / Kraks issue stats
Total issues: 5
Total pull requests: 74
Merged pull request: 66
Average time to close issues: 9 months
Average time to close pull requests: 8 days
Average comments per issue: 2.4
Average comments per pull request: 0.24
Issues created
Pull requests created
- kraks/sai: 41
- tiarkrompf/lms-clean: 11
- regehr/calc-compiler: 6
- TiarkRompf/virtualization-lms-core: 3
- sdiehl/wiwinwlh: 2
- leifandersen/plgradschools: 2
- kraks/diamond-lang: 1
- GaloisInc/crucible: 1
- ksluckow/awesome-symbolic-execution: 1
- namin/scalogno: 1
- Kraks/SAT.rkt: 1
- earthlab/rslurm: 1
- scala/scala-lang: 1
- lotuc/plai-cn: 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, 58.11%)
- Contributor (19, 25.68%)
- Collaborator (11, 14.86%)
- None (1, 1.35%)
Top Issue Labels
- bug (1)
Top Pull Request Labels
- performance (3)
- enhancement (2)
- refactor (1)