Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / GaloisInc issue stats
Total issues: 545
Total pull requests: 639
Merged pull request: 533
Average time to close issues: 3 months
Average time to close pull requests: about 1 month
Average comments per issue: 1.86
Average comments per pull request: 1.02
Issues created
- GaloisInc/cryptol: 204
- GaloisInc/csaf: 77
- GaloisInc/what4: 60
- GaloisInc/cereal: 47
- GaloisInc/argo: 47
- GaloisInc/parameterized-utils: 29
- GaloisInc/haskell-tor: 27
- GaloisInc/sqlite: 9
- GaloisInc/mime: 8
- GaloisInc/pure-zlib: 7
- GaloisInc/xml: 7
- GaloisInc/ec2-unikernel: 7
- GaloisInc/dlkoopman: 4
- GaloisInc/http-server: 3
- GaloisInc/bv-sized: 3
- GaloisInc/softfloat-hs: 2
- GaloisInc/estimator: 2
- GaloisInc/lumberjack: 1
- GaloisInc/config-value-getopt: 1
Pull requests created
- GaloisInc/cryptol: 211
- GaloisInc/parameterized-utils: 87
- GaloisInc/what4: 79
- GaloisInc/argo: 73
- GaloisInc/cereal: 59
- GaloisInc/bv-sized: 26
- GaloisInc/csaf: 23
- GaloisInc/dlkoopman: 13
- GaloisInc/pure-zlib: 13
- GaloisInc/mime: 8
- GaloisInc/http-server: 8
- GaloisInc/softfloat-hs: 6
- GaloisInc/sqlite: 6
- GaloisInc/xml: 6
- GaloisInc/lumberjack: 5
- GaloisInc/haskell-tor: 5
- GaloisInc/estimator: 4
- GaloisInc/ec2-unikernel: 4
- GaloisInc/s-cargot-letbind: 2
- GaloisInc/aterm-utils: 1
Issue owner Associations
- Contributor (223, 40.92%)
- None (149, 27.34%)
- Collaborator (103, 18.90%)
- Member (70, 12.84%)
Pull Request owner Associations
- Contributor (444, 69.48%)
- Member (98, 15.34%)
- Collaborator (52, 8.14%)
- None (45, 7.04%)
All Maintainers
Top Issue Authors
- RyanGlScott (78)
- yav (57)
- podhrmic (54)
- acw (26)
- weaversa (23)
- cslockett (21)
- WeeknightMVP (20)
- robdockins (16)
- qsctr (15)
- langston-barrett (12)
- atomb (12)
- marsella (9)
- pnwamk (8)
- david-christiansen (8)
- mccleeary-galois (7)
Top Pull Request Authors
- RyanGlScott (119)
- robdockins (48)
- yav (37)
- kquick (36)
- langston-barrett (23)
- pnwamk (23)
- benjaminselfridge (22)
- glguy (19)
- dependabot[bot] 🤖 (19)
- podhrmic (18)
- qsctr (17)
- mccleeary-galois (13)
- david-christiansen (12)
- souryadey (12)
- Ptival (11)
Top Issue Labels
- bug (69)
- enhancement (49)
- feature request (32)
- parameterized modules (27)
- enums (19)
- docs (18)
- medium (15)
- typechecker (13)
- tech-debt (12)
- design needed (12)
- UX (12)
- remote-api (11)
- CI (11)
- language (11)
- feature (9)
Top Pull Request Labels
- dependencies (19)
- FFI (8)
- csaf (4)
- language (4)
- command-line-repl (4)
- remote-api (3)
- CI (3)
- bug (2)
- feature (2)
- docstrings (2)
- parameterized modules (2)
- github_actions (1)
- build system (1)
- type-guards (1)
- enums (1)