Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / inpefess issue stats
Total issues: 123
Total pull requests: 251
Merged pull request: 243
Average time to close issues: 3 months
Average time to close pull requests: 1 day
Average comments per issue: 0.41
Average comments per pull request: 0.57
Issues created
Pull requests created
- inpefess/gym-saturation: 79
- inpefess/neural-semigroups: 60
- inpefess/isabelle-client: 54
- inpefess/residuated-binars: 18
- inpefess/tptp-lark-parser: 14
- Darel13712/rs_datasets: 7
- inpefess/ray-prover: 5
- conda-forge/gym-saturation-feedstock: 5
- conda-forge/isabelle-client-feedstock: 2
- evfro/polara: 2
- conda-forge/tptp-lark-parser-feedstock: 1
- Mendeley/mrec: 1
- cloudflare/sqlalchemy-clickhouse: 1
- ray-project/ray: 1
- leoprover/scala-tptp-parser: 1
Maintainer
Active Maintainer
Issue Author Associations
- Owner (103, 83.74%)
- None (20, 16.26%)
Pull Request Author Associations
- Owner (230, 91.63%)
- None (11, 4.38%)
- Contributor (10, 3.98%)
Top Issue Labels
- enhancement (68)
- documentation (24)
- maintenance (11)
- bug (6)
- invalid (5)
- good first issue (4)
- paper-submission (4)
- help wanted (1)