Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / MatthewDaggitt issue stats
Total issues: 141
Total pull requests: 155
Merged pull request: 143
Average time to close issues: 5 months
Average time to close pull requests: 10 days
Average comments per issue: 1.57
Average comments per pull request: 0.7
Issues created
- vehicle-lang/vehicle: 73
- NeuralNetworkVerification/Marabou: 23
- matthewdaggitt/ashcalc: 15
- matthewdaggitt/oponn: 10
- schrammc/mnist-idx: 3
- haskell/haskell-language-server: 3
- wenkokke/amethyst: 2
- wenkokke/schmitty: 2
- quchen/prettyprinter: 2
- matthewdaggitt/agda-routing: 1
- jmchapman/relative-monads: 1
- haskell/cabal: 1
- matthewdaggitt/agilewebdevdemo: 1
- agda/agda: 1
- haskell-unordered-containers/hashable: 1
- jacquescarette/theoriesanddatastructures: 1
- crypto-agda/explore: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (100, 70.92%)
- Owner (27, 19.15%)
- None (13, 9.22%)
- Contributor (1, 0.71%)
Pull Request Author Associations
- Collaborator (148, 95.48%)
- Owner (4, 2.58%)
- None (3, 1.94%)
Top Issue Labels
- bug (67)
- enhancement (22)
- backend:verifiers (14)
- compiler:type-checker (10)
- compiler:error-messages (9)
- backend:loss (9)
- refactoring (9)
- test-suite (8)
- documentation (8)
- feature (6)
- python (6)
- performance (5)
- CI (5)
- backend:itps (5)
- soundness (4)
Top Pull Request Labels
- refactoring (60)
- enhancement (29)
- backend:verifiers (22)
- bug (21)
- compiler:type-checker (15)
- compiler:normalisation (15)
- backend:loss (15)
- refactor (7)
- compiler:error-messages (6)
- documentation (6)
- test-suite (5)
- language (5)
- errors-and-warnings (5)
- UX (5)
- backend:itps (4)