Ecosyste.ms: Issues

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

GitHub / aya-prover / aya-dev issue stats

Last synced: over 1 year ago

Total issues: 60
Total pull requests: 204
Average time to close issues: about 1 month
Average time to close pull requests: 7 days
Total issue authors: 4
Total pull request authors: 6
Average comments per issue: 3.3
Average comments per pull request: 3.62
Merged pull requests: 185
Bot issues: 0
Bot pull requests: 0

Past year issues: 57
Past year pull requests: 198
Past year average time to close issues: 12 days
Past year average time to close pull requests: 6 days
Past year issue authors: 3
Past year pull request authors: 6
Past year average comments per issue: 2.63
Past year average comments per pull request: 3.63
Past year merged pull requests: 185
Past year bot issues: 0
Past year bot pull requests: 0

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/aya-prover/aya-dev
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/aya-prover%2Faya-dev

Issue Author Associations

Member (52, 86.67%)
Contributor (8, 13.33%)

Pull Request Author Associations

Member (149, 73.04%)
Contributor (55, 26.96%)

Active Maintainers

Top Issue Labels

bug (18)
feature (13)
literate (11)
syntax design (6)
counterexample (4)
prop (4)
terck (4)
classes (3)
highlighter (3)
cursed thread (3)
wontfix (3)
coverage (3)
concrete: let (3)
meta variables (3)
refactoring (2)
question (1)
literal (1)

Top Pull Request Labels

build (35)
refactoring (34)
literate (27)
bug (23)
feature (15)
library (14)
highlighter (13)
resolving (13)
parser (9)
cherry-pick (8)
syntax design (8)
coverage (6)
deps: kala (6)
test fixtures (6)
cleanup (5)
deps: upstream (5)
terck (5)
cartesian cubical (4)
release (4)
unfold (3)
concrete (3)
performance (2)
lsp (2)
tyck (2)
error report (2)
native (2)
cursed thread (1)
desugar (1)
meta variables (1)
deps: jline (1)