Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ranjitjhala issue stats
Total issues: 25
Total pull requests: 63
Merged pull request: 57
Average time to close issues: almost 4 years
Average time to close pull requests: 2 days
Average comments per issue: 3.12
Average comments per pull request: 0.63
Issues created
Pull requests created
- ucsd-progsys/liquid-fixpoint: 19
- ucsd-progsys/liquidhaskell: 8
- ucsd-progsys/liquidhaskell-tutorial: 5
- ucsd-progsys/liquid-server: 4
- ucsd-progsys/liquid-client: 2
- ucsd-progsys/lh-workshop: 2
- jswebtools/language-ecmascript: 2
- themattchan/liquid-types.el: 2
- hwayne/lets-prove-leftpad: 2
- ucsd-progsys/intro-refinement-types: 2
- travitch/llvm-analysis: 2
- ucsd-progsys/lh-plugin-demo: 2
- ucsd-progsys/click-express: 1
- spinda/liquidhaskell-cabal-demo: 1
- travitch/itanium-abi: 1
- zgrannan/rest: 1
- ranjitjhala/sprite-lang: 1
- plsyssec/vera: 1
- spinda/liquidhaskell-cabal: 1
- travitch/llvm-data-interop: 1
- ucsd-progsys/elsa: 1
- ranjitjhala/vs-flux: 1
- justusadam/language-haskell: 1
Maintainer
- ucsd-progsys/liquidhaskell: 22
- ucsd-progsys/liquid-fixpoint: 19
- ucsd-progsys/liquidhaskell-tutorial: 6
- ucsd-progsys/liquid-server: 5
- ucsd-progsys/elsa: 4
- ucsd-progsys/intro-refinement-types: 2
- ucsd-progsys/lh-plugin-demo: 2
- ucsd-progsys/lh-workshop: 2
- ucsd-progsys/liquid-client: 2
- ranjitjhala/vs-flux: 1
- plsyssec/vera: 1
- ranjitjhala/sprite-lang: 1
- ucsd-progsys/click-express: 1
Active Maintainer
Issue Author Associations
- Member (19, 76.00%)
- None (6, 24.00%)
Pull Request Author Associations
- Member (46, 73.02%)
- Contributor (12, 19.05%)
- Owner (2, 3.17%)
- None (2, 3.17%)
- Collaborator (1, 1.59%)
Top Issue Labels
- bug (5)
- errormsg (4)
- pbe (2)
- proposal (1)
- question (1)
- absref (1)
- easy (1)
- core-to-logic (1)
- modules (1)
- adt (1)
- nameresolution (1)
- unsoundness (1)
- termination (1)
- enhancement (1)