Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / MatthewDaggitt issue stats
Total issues: 137
Total pull requests: 143
Merged pull request: 131
Average time to close issues: 5 months
Average time to close pull requests: 10 days
Average comments per issue: 1.53
Average comments per pull request: 0.76
Issues created
- vehicle-lang/vehicle: 71
- NeuralNetworkVerification/Marabou: 23
- matthewdaggitt/ashcalc: 15
- matthewdaggitt/oponn: 10
- haskell/haskell-language-server: 3
- schrammc/mnist-idx: 3
- quchen/prettyprinter: 2
- wenkokke/schmitty: 2
- wenkokke/amethyst: 2
- haskell/cabal: 1
- haskell-unordered-containers/hashable: 1
- crypto-agda/explore: 1
- jacquescarette/theoriesanddatastructures: 1
- matthewdaggitt/agilewebdevdemo: 1
- matthewdaggitt/agda-routing: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (98, 71.53%)
- Owner (27, 19.71%)
- None (12, 8.76%)
Pull Request Author Associations
- Collaborator (136, 95.10%)
- Owner (4, 2.80%)
- None (3, 2.10%)
Top Issue Labels
- bug (66)
- enhancement (22)
- backend:verifiers (14)
- compiler:type-checker (10)
- compiler:error-messages (9)
- backend:loss (9)
- test-suite (8)
- documentation (8)
- refactoring (8)
- feature (6)
- python (6)
- backend:itps (5)
- performance (5)
- CI (5)
- soundness (4)
Top Pull Request Labels
- refactoring (53)
- enhancement (26)
- bug (20)
- backend:verifiers (19)
- compiler:normalisation (15)
- backend:loss (12)
- compiler:type-checker (9)
- refactor (7)
- compiler:error-messages (6)
- documentation (6)
- language (5)
- test-suite (5)
- UX (5)
- backend:itps (4)
- error-messages (3)