Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / FStarLang / FStar issue stats
Last synced: about 1 month ago
Total issues: 139
Total pull requests: 141
Average time to close issues: 11 months
Average time to close pull requests: 8 days
Total issue authors: 19
Total pull request authors: 13
Average comments per issue: 3.7
Average comments per pull request: 0.84
Merged pull requests: 123
Bot issues: 0
Bot pull requests: 0
Past year issues: 39
Past year pull requests: 138
Past year average time to close issues: 3 days
Past year average time to close pull requests: 1 day
Past year issue authors: 7
Past year pull request authors: 11
Past year average comments per issue: 1.08
Past year average comments per pull request: 0.75
Past year merged pull requests: 121
Past year bot issues: 0
Past year bot pull requests: 0
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/FStarLang%2FFStar
Issue Author Associations
- Member (70, 50.36%)
- Contributor (41, 29.50%)
- None (23, 16.55%)
- Collaborator (5, 3.60%)
Pull Request Author Associations
- Member (109, 77.30%)
- Contributor (21, 14.89%)
- Collaborator (9, 6.38%)
- None (2, 1.42%)
Top Issue Authors
- catalin-hritcu (58)
- briangmilnes (17)
- VincentCheval (13)
- ckeller (13)
- mtzguido (12)
- gebner (5)
- aseemr (3)
- artella-coding (2)
- strub (2)
- sirinath (2)
- kant2002 (2)
- mikhail-makarov (2)
- nikswamy (2)
- W95Psp (1)
- shonfeder (1)
Top Pull Request Authors
- mtzguido (107)
- gebner (10)
- nikswamy (7)
- W95Psp (5)
- jonahbeckford (2)
- kant2002 (2)
- amosr (2)
- dzomo (1)
- msprotz (1)
- TWal (1)
- ad-l (1)
- tahina-pro (1)
- beurdouche (1)
All Maintainers
- mtzguido (119)
- catalin-hritcu (58)
- nikswamy (9)
- aseemr (3)
- beurdouche (1)
- dzomo (1)
- msprotz (1)
- tahina-pro (1)
Active Maintainers
- mtzguido (119)
- nikswamy (7)
- dzomo (1)
- msprotz (1)
- tahina-pro (1)
Top Issue Labels
- kind/bug (42)
- kind/enhancement (35)
- kind/question (7)
- area/usability (6)
- status/wont-fix (5)
- status/duplicate (4)
- area/error-messages (3)
- component/typechecker (3)
- component/documentation (2)
- component/extraction (2)
- component/examples (2)
- component/effect-system (2)
- status/needs-input (2)
- area/proof-assistant (2)
- status/invalid (2)
- area/syntax (2)
- component/tutorial (1)
- kind/meta-issue (1)
- kind/discussion (1)
- component/dm4free (1)
- milestone/everest-v1 (1)
- good first issue (1)
- status/needs-confirmation (1)
- component/libraries (1)
- hard (1)
- component/language-design (1)
- component/metatheory (1)
- priority/high (1)