Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gallais issue stats
Total issues: 49
Total pull requests: 124
Merged pull request: 115
Average time to close issues: about 1 month
Average time to close pull requests: 25 days
Average comments per issue: 1.76
Average comments per pull request: 0.8
Issues created
- gallais/idris-tparsec: 8
- gallais/agdarsec: 6
- idris-lang/Idris2: 4
- ohad/collie: 3
- jfdm/velo-lang: 3
- agda/agda: 3
- jfdm/tears-in-the-rain: 2
- math-comp/mcb: 2
- gallais/sleepp: 2
- lapin0t/induction-recursion: 1
- gallais/agdarep: 1
- gallais/agda-sizedio: 1
- gallais/pearl-binary-search: 1
- mattpolzin/ncurses-idris: 1
- jgm/pandoc-types: 1
- andreasabel/strong-normalization: 1
- clarus/cuisine: 1
- coq/coq.github.io: 1
- micahflee/semiphemeral: 1
- actions/setup-haskell: 1
- kosmikus/lhs2tex: 1
- agda/fix-whitespace: 1
- andrewthad/dot: 1
- idris-hackers/idris-mode: 1
- haskell/statistics: 1
Pull requests created
- jfdm/velo-lang: 23
- edwinb/yaffle: 14
- ohad/collie: 11
- gallais/agdarsec: 10
- wenkokke/schmitty: 6
- idris-lang/Idris2: 5
- gallais/generic-syntax: 5
- gallais/thesis: 4
- michaelt/martin-lof: 3
- haskell/containers: 3
- idris-hackers/idris-mode: 3
- gallais/idris-free: 3
- andreasabel/strong-normalization: 2
- gasche/popl2017-papers: 2
- mattpolzin/ncurses-idris: 2
- gallais/agda-presburger: 2
- math-comp/mcb: 2
- gallais/idris-tparsec: 2
- hwayne/lets-prove-leftpad: 2
- gallais/strinagda: 1
- edwinb/splv20: 1
- gallais/sleepp: 1
- gasche/icfp2017-papers: 1
- coq/ltac2: 1
- guenchi/setup-scheme: 1
- gallais/agdargs: 1
- gallais/coolcat: 1
- mpickering/icfp2015-papers: 1
- jfdm/packer-idris: 1
- gallais/gallais.github.io: 1
- madman-bob/idris2-table: 1
- gallais/agdarky: 1
- gallais/agdarep: 1
- gasche/icfp2016-papers: 1
- gallais/typing-with-leftovers: 1
- ulfnorell/x86-agda: 1
- gallais/agda-sizedio: 1
- haskell-hvr/newtype: 1
- haskell/aeson: 1
Maintainer
- jfdm/velo-lang: 26
- gallais/agdarsec: 16
- ohad/collie: 14
- gallais/idris-tparsec: 10
- idris-lang/Idris2: 9
- gallais/generic-syntax: 5
- gallais/thesis: 4
- michaelt/martin-lof: 3
- agda/agda: 3
- gallais/sleepp: 3
- gallais/idris-free: 3
- jfdm/tears-in-the-rain: 2
- gallais/agda-presburger: 2
- gallais/agdarep: 2
- gallais/agda-sizedio: 2
Active Maintainer
Issue Author Associations
- Owner (19, 38.78%)
- None (9, 18.37%)
- Collaborator (8, 16.33%)
- Member (8, 16.33%)
- Contributor (5, 10.20%)
Pull Request Author Associations
- Contributor (44, 35.48%)
- Collaborator (37, 29.84%)
- Owner (35, 28.23%)
- Member (5, 4.03%)
- None (3, 2.42%)
Top Issue Labels
- enhancement (12)
- help wanted (7)
- ux: display (3)
- type: enhancement (3)
- good first issue (3)
- status: confirmed bug (3)
- hacktoberfest (3)
- display pragma (2)
- performance (2)
- low-hanging-fruit (2)
- safety: proof of false (2)
- safety: coverage (2)
- bug (2)
- language: impossible (1)
- implem: pattern-matching (1)
Top Pull Request Labels
- enhancement (6)
- update (3)
- continuous integration (3)
- travis (2)
- documentation (2)
- language: implicit (1)
- error: reporting (1)
- library: contrib (1)
- code: cleanup (1)
- language: auto-implicit (1)
- library: linear (1)
- typo (1)
- bug (1)
- refactor (1)
- test (1)