Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / inpefess issue stats
Total issues: 107
Total pull requests: 245
Merged pull request: 239
Average time to close issues: 3 months
Average time to close pull requests: 1 day
Average comments per issue: 0.42
Average comments per pull request: 0.55
Issues created
Pull requests created
- inpefess/gym-saturation: 78
- inpefess/neural-semigroups: 60
- inpefess/isabelle-client: 51
- 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
- conda-forge/tptp-lark-parser-feedstock: 1
- Mendeley/mrec: 1
- leoprover/scala-tptp-parser: 1
- cloudflare/sqlalchemy-clickhouse: 1
- ray-project/ray: 1
Maintainer
Active Maintainer
Issue Author Associations
- Owner (92, 85.98%)
- None (15, 14.02%)
Pull Request Author Associations
- Owner (226, 92.24%)
- Contributor (10, 4.08%)
- None (9, 3.67%)
Top Issue Labels
- enhancement (68)
- documentation (24)
- bug (6)
- invalid (5)
- good first issue (4)
- paper-submission (4)
- help wanted (1)