Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / cyrus- issue stats
Total issues: 205
Total pull requests: 10
Merged pull request: 5
Average time to close issues: 5 months
Average time to close pull requests: 2 months
Average comments per issue: 1.11
Average comments per pull request: 0.4
Issues created
- hazelgrove/hazel: 65
- 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
- hazelgrove/tylr: 2
- mterwill/office-hours-help-queue: 2
- hazelgrove/diy-hazelnut: 2
- hazelgrove/graphics: 2
- hazelgrove/hazelgrove.github.io: 1
- hazelgrove/hazelnut-dynamics-paper: 1
- simonpercivall/astunparse: 1
Pull requests created
Maintainer
- hazelgrove/hazel: 66
- 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/tylr: 2
- hazelgrove/diy-hazelnut: 2
- hazelgrove/graphics: 2
- hazelgrove/hazelnut-dynamics-paper: 1
Active Maintainer
- hazelgrove/hazel: 36
- hazelgrove/tylr: 2
Issue Author Associations
- Member (138, 67.32%)
- Owner (64, 31.22%)
- None (3, 1.46%)
Pull Request Author Associations
- Member (6, 60.00%)
- Contributor (3, 30.00%)
- None (1, 10.00%)
Top Issue Labels
- bug (35)
- starter-project (16)
- camera-ready (12)
- critical (9)
- 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)