Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / nikivazou issue stats
Total issues: 28
Total pull requests: 58
Merged pull request: 49
Average time to close issues: about 2 years
Average time to close pull requests: about 1 month
Average comments per issue: 3.25
Average comments per pull request: 0.98
Issues created
- ucsd-progsys/liquidhaskell: 17
- nikivazou/thesis: 1
- andrewdougherty/svm: 1
- nikivazou/equationalreasoninginliquidhaskell: 1
- ucsd-progsys/liquid-server: 1
- haskell/hiw: 1
- haskell/containers: 1
- ivanperez-keera/haskanoid: 1
- nikivazou/cmsc498v: 1
- haskell/text: 1
- haskell/core-libraries-committee: 1
- nikivazou/documents: 1
Pull requests created
- ucsd-progsys/liquidhaskell: 27
- ucsd-progsys/liquid-server: 10
- oquechy/safe-coupling: 5
- rybla/monadic-quicksort-verification: 4
- ucsd-progsys/lh-workshop: 3
- jaspervdj/uplcg: 2
- ucsd-progsys/intro-refinement-types: 2
- emk/haskell-probability-monads: 1
- gabriella439/haskell-lens-tutorial-library: 1
- nikivazou/theorem-proving-template: 1
- ucsd-progsys/liquidhaskell-blog: 1
- zgrannan/rest: 1
Maintainer
- ucsd-progsys/liquidhaskell: 44
- ucsd-progsys/liquid-server: 11
- oquechy/safe-coupling: 5
- rybla/monadic-quicksort-verification: 4
- ucsd-progsys/lh-workshop: 3
- jaspervdj/uplcg: 2
- ucsd-progsys/intro-refinement-types: 2
- nikivazou/cmsc498v: 1
- nikivazou/thesis: 1
- nikivazou/equationalreasoninginliquidhaskell: 1
- haskell/hiw: 1
- nikivazou/theorem-proving-template: 1
- zgrannan/rest: 1
- ucsd-progsys/liquidhaskell-blog: 1
- nikivazou/documents: 1
Active Maintainer
Issue Author Associations
- Member (18, 64.29%)
- None (5, 17.86%)
- Owner (4, 14.29%)
- Collaborator (1, 3.57%)
Pull Request Author Associations
- Member (43, 74.14%)
- Collaborator (12, 20.69%)
- Owner (1, 1.72%)
- None (1, 1.72%)
- Contributor (1, 1.72%)
Top Issue Labels
- nameresolution (3)
- bug (2)
- modules (2)
- question (2)
- researchy (2)
- help wanted (1)
- termination (1)
- out-of-scope (1)
Top Pull Request Labels
- WIP: Don't Merge Yet (1)