GitHub / inpefess issue stats
Total issues: 126
Total pull requests: 268
Merged pull request: 260
Average time to close issues: 3 months
Average time to close pull requests: 1 day
Average comments per issue: 0.44
Average comments per pull request: 0.58
Issues created
Pull requests created
- inpefess/gym-saturation: 87
- inpefess/neural-semigroups: 60
- inpefess/isabelle-client: 60
- inpefess/residuated-binars: 18
- inpefess/tptp-lark-parser: 14
- Darel13712/rs_datasets: 7
- conda-forge/gym-saturation-feedstock: 5
- inpefess/ray-prover: 5
- pwalsh/pipenv.el: 3
- evfro/polara: 2
- conda-forge/isabelle-client-feedstock: 1
- Mendeley/mrec: 1
- cloudflare/sqlalchemy-clickhouse: 1
- farama-foundation/gym-docs: 1
- conda-forge/tptp-lark-parser-feedstock: 1
- ray-project/ray: 1
- leoprover/scala-tptp-parser: 1
Maintainer
Active Maintainer
Issue Author Associations
- Owner (106, 84.13%)
- None (20, 15.87%)
Pull Request Author Associations
- Owner (244, 91.04%)
- None (12, 4.48%)
- Contributor (12, 4.48%)
Top Issue Labels
- enhancement (68)
- documentation (24)
- maintenance (13)
- bug (6)
- invalid (5)
- good first issue (4)
- paper-submission (4)
- help wanted (1)
- wontfix (1)
- duplicate (1)
Top Pull Request Labels
- maintenance (1)