Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / msprotz issue stats
Total issues: 98
Total pull requests: 157
Merged pull request: 135
Average time to close issues: 10 months
Average time to close pull requests: 17 days
Average comments per issue: 2.48
Average comments per pull request: 2.66
Issues created
- FStarLang/karamel: 20
- hacl-star/hacl-star: 17
- microsoft/TouchDevelop: 14
- fstarlang/fstar-mode.el: 13
- aeneasverif/charon: 10
- aeneasverif/eurydice: 9
- cryspen/hacl-packages: 3
- python/cpython: 3
- CatalaLang/catala: 2
- ocaml/ocaml: 1
- craigfe/progress: 1
- dsheets/ocaml-process: 1
- o1-labs/integers_stubs_js: 1
- mmottl/sqlite3-ocaml: 1
- ocaml-community/sedlex: 1
- fstarlang/vimfstar: 1
Pull requests created
- aeneasverif/eurydice: 45
- hacl-star/hacl-star: 44
- FStarLang/karamel: 29
- aeneasverif/charon: 9
- cryspen/hacl-packages: 6
- python/cpython: 5
- cryspen/libcrux: 4
- fstarlang/fstar-mode.el: 4
- AeneasVerif/aeneas: 3
- fstarlang/steel: 2
- hacl-star/merkle-tree: 1
- CatalaLang/catala: 1
- dsheets/ocaml-process: 1
- FStarLang/FStar: 1
- fstarlang/vimfstar: 1
- ocaml/ocaml-manual: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (77, 78.57%)
- Member (14, 14.29%)
- None (6, 6.12%)
- Collaborator (1, 1.02%)
Pull Request Author Associations
- Contributor (147, 93.63%)
- Collaborator (9, 5.73%)
- None (1, 0.64%)
Top Issue Labels
- bug (13)
- P2 (10)
- build (4)
- C-bug (3)
- ✨ enhancement (2)
- 🔧 compiler (2)
- 💡 language (2)
- P1 (2)
- A-internal (2)
- P3 (2)
- C-improvement (2)
- type-bug (2)
- topic-SSL (1)
- stdlib (1)
- type-feature (1)
Top Pull Request Labels
- cla-signed (6)
- skip news (2)
- awaiting review (2)
- ⚖️ program (1)