Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / MatthewDaggitt issue stats

Total issues: 100
Total pull requests: 109
Merged pull request: 100
Average time to close issues: 3 months
Average time to close pull requests: 9 days
Average comments per issue: 1.62
Average comments per pull request: 0.86

Issues created

vehicle-lang/vehicle: 66
NeuralNetworkVerification/Marabou: 23
haskell/haskell-language-server: 3
schrammc/mnist-idx: 3
quchen/prettyprinter: 2
haskell/cabal: 1
haskell-unordered-containers/hashable: 1
crypto-agda/explore: 1

Pull requests created

Maintainer

vehicle-lang/vehicle: 142
NeuralNetworkVerification/Marabou: 53

Active Maintainer

vehicle-lang/vehicle: 125
NeuralNetworkVerification/Marabou: 33

Issue Author Associations

Collaborator (89, 89.00%)
None (11, 11.00%)

Pull Request Author Associations

Collaborator (106, 97.25%)
None (3, 2.75%)

Top Issue Labels

bug (48)
backend:verifiers (13)
compiler:type-checker (9)
compiler:error-messages (9)
backend:loss (9)
enhancement (8)
documentation (8)
refactoring (8)
test-suite (7)
feature (6)
python (6)
backend:itps (5)
performance (5)
CI (5)
soundness (4)

Top Pull Request Labels

refactoring (40)
enhancement (24)
bug (17)
backend:verifiers (16)
compiler:normalisation (15)
compiler:type-checker (9)
refactor (7)
backend:loss (7)
compiler:error-messages (6)
UX (5)
backend:itps (4)
language (4)
documentation (4)
test-suite (3)
errors-and-warnings (3)