Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / catalin-hritcu issue stats
Total issues: 92
Total pull requests: 6
Merged pull request: 5
Average time to close issues: 11 months
Average time to close pull requests: about 1 hour
Average comments per issue: 4.68
Average comments per pull request: 1.0
Issues created
- FStarLang/FStar: 58
- fstarlang/fstar-mode.el: 10
- fstarlang/fstar-interactive: 8
- secure-compilation/beyond-good-and-evil: 2
- QuickChick/QuickChick: 2
- cpitclaudel/fstar.js: 2
- grnet/zeus: 1
- yaccconstructor/visualfstar: 1
- fstarlang/atom-fstar: 1
- quickchick/testingnoninterference: 1
- linuxmint/mintinstall: 1
- ocaml/tuareg: 1
- secure-compilation/when-good-components-go-bad: 1
- racket/email-notifications: 1
- mavam/gitdub: 1
- koka-lang/madoko: 1
Pull requests created
Maintainer
- FStarLang/FStar: 58
- fstarlang/fstar-mode.el: 10
- fstarlang/fstar-interactive: 8
- catalin-hritcu/fstar-course: 2
- secure-compilation/beyond-good-and-evil: 2
- QuickChick/QuickChick: 2
- secure-compilation/when-good-components-go-bad: 1
- fstarlang/atom-fstar: 1
- quickchick/testingnoninterference: 1
- catalin-hritcu/catalin-hritcu.github.io: 1
Active Maintainer
Issue Author Associations
- Member (83, 90.22%)
- None (7, 7.61%)
- Contributor (2, 2.17%)
Pull Request Author Associations
- Owner (3, 50.00%)
- Contributor (3, 50.00%)
Top Issue Labels
- kind/bug (27)
- kind/enhancement (25)
- enhancement (7)
- area/usability (5)
- status/duplicate (3)
- area/error-messages (3)
- status/wont-fix (2)
- question (2)
- component/examples (2)
- component/typechecker (2)
- area/syntax (2)
- component/effect-system (2)
- bug (1)
- help wanted (1)
- status/invalid (1)