Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / cyrus- issue stats
Total issues: 199
Total pull requests: 9
Merged pull request: 5
Average time to close issues: 5 months
Average time to close pull requests: 2 months
Average comments per issue: 1.14
Average comments per pull request: 0.11
Issues created
- hazelgrove/hazel: 60
- cyrus-/typy-old: 44
- hazelgrove/hz: 23
- hazelgrove/hazelnut-dynamics-agda: 22
- hazelgrove/hazelnut-popl17: 17
- cyrus-/typy: 12
- cyrus-/relit: 8
- hazelgrove/agda-popl17: 3
- mterwill/office-hours-help-queue: 2
- hazelgrove/diy-hazelnut: 2
- hazelgrove/graphics: 2
- hazelgrove/hazelgrove.github.io: 1
- hazelgrove/tylr: 1
- hazelgrove/hazelnut-dynamics-paper: 1
- simonpercivall/astunparse: 1
Pull requests created
Maintainer
- hazelgrove/hazel: 60
- cyrus-/typy-old: 44
- hazelgrove/hz: 23
- hazelgrove/hazelnut-dynamics-agda: 22
- hazelgrove/hazelnut-popl17: 17
- cyrus-/typy: 12
- cyrus-/relit: 8
- hazelgrove/hazelgrove.github.io: 3
- hazelgrove/phi: 3
- hazelgrove/agda-popl17: 3
- hazelgrove/diy-hazelnut: 2
- hazelgrove/graphics: 2
- hazelgrove/tylr: 1
- hazelgrove/hazelnut-dynamics-paper: 1
Active Maintainer
- hazelgrove/hazel: 34
- hazelgrove/tylr: 1
Issue Author Associations
- Member (132, 66.33%)
- Owner (64, 32.16%)
- None (3, 1.51%)
Pull Request Author Associations
- Member (5, 55.56%)
- Contributor (3, 33.33%)
- None (1, 11.11%)
Top Issue Labels
- bug (33)
- starter-project (16)
- camera-ready (12)
- critical (8)
- per-JEA (5)
- citations (3)
- pending (2)
- pattern-matching (2)
- meta (2)
- final-artifact (2)
- metatheory of instantiation (2)
- polymorphism (2)
- performance (1)
- head scratchers (1)
- type safety (1)