GitHub / gereeter issue stats
Total issues: 7
Total pull requests: 13
Merged pull request: 6
Average time to close issues: 9 months
Average time to close pull requests: 16 days
Average comments per issue: 6.0
Average comments per pull request: 17.92
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (5, 71.43%)
- Owner (1, 14.29%)
- Contributor (1, 14.29%)
Pull Request Author Associations
- None (6, 46.15%)
- Contributor (6, 46.15%)
- Collaborator (1, 7.69%)
Top Issue Labels
- feature-request (1)
- M-crypto (1)
- A-security (1)
- A-implementation (1)
- P-high (1)
- C-timing-attacks (1)
- K-hard (1)
- Map (1)
- IntMap (1)
- strictness (1)
Top Pull Request Labels
- postponed (2)
- performance (1)
- IntMap (1)
- A-coercions (1)
- A-syntax (1)
- A-typesystem (1)
- A-references (1)
- A-uninit (1)
- A-machine (1)