Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / olaure01 issue stats
Total issues: 2
Total pull requests: 30
Merged pull request: 28
Average time to close issues: 1 day
Average time to close pull requests: 10 days
Average comments per issue: 0.5
Average comments per pull request: 0.5
Issues created
Pull requests created
- coq-community/corn: 4
- mit-plv/fiat: 3
- coq-community/paramcoq: 2
- fblanqui/color: 2
- mit-plv/fiat-crypto: 2
- math-comp/odd-order: 2
- mit-plv/rupicola: 2
- coq/opam: 2
- ppedrot/ll-coq: 2
- jasmin-lang/coqword: 1
- mit-plv/bbv: 1
- QuickChick/QuickChick: 1
- mit-plv/kami: 1
- foreverbell/permutation-solver: 1
- acowley/linearlogic: 1
- math-comp/mcb: 1
- mit-plv/coqutil: 1
- coq-community/coq-ext-lib: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (1, 50.00%)
- None (1, 50.00%)
Pull Request Author Associations
- Contributor (29, 96.67%)
- None (1, 3.33%)