{"id":1592,"name":"gym-saturation","description":"gym-saturation: an OpenAI Gym environment for saturation provers - Published in JOSS (2022)","url":"https://github.com/inpefess/gym-saturation","last_synced_at":"2025-09-04T16:30:13.040Z","repository":{"id":37082802,"uuid":"389591252","full_name":"inpefess/gym-saturation","owner":"inpefess","description":"a collection of Gymnasium environments for saturation provers","archived":false,"fork":false,"pushed_at":"2025-06-14T09:07:27.000Z","size":2726,"stargazers_count":22,"open_issues_count":3,"forks_count":2,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-08-28T00:13:18.281Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/inpefess.png","metadata":{"files":{"readme":"README.rst","changelog":null,"contributing":"CONTRIBUTING.rst","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.rst","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":"codemeta.json","zenodo":null}},"created_at":"2021-07-26T10:15:56.000Z","updated_at":"2025-06-14T09:07:12.000Z","dependencies_parsed_at":"2023-02-08T06:00:31.358Z","dependency_job_id":"8cd2b4aa-7ed2-446f-afc7-61b798968ba1","html_url":"https://github.com/inpefess/gym-saturation","commit_stats":{"total_commits":482,"total_committers":1,"mean_commits":482.0,"dds":0.0,"last_synced_commit":"f2a9b476f434a7e6d695dfd350e7ab06e8840de1"},"previous_names":[],"tags_count":43,"template":false,"template_full_name":null,"purl":"pkg:github/inpefess/gym-saturation","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inpefess","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/sbom","scorecard":{"id":489441,"data":{"date":"2025-08-11","repo":{"name":"github.com/inpefess/gym-saturation","commit":"2a990c9a9a08f2b69738b853b9b6a5ceb2514b13"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3.8,"checks":[{"name":"Token-Permissions","score":-1,"reason":"No tokens found","details":null,"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Dangerous-Workflow","score":-1,"reason":"no workflows found","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Maintained","score":10,"reason":"13 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Code-Review","score":0,"reason":"Found 0/3 approved changesets -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: Apache License 2.0: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: containerImage not pinned by hash: Dockerfile:1: pin your Docker image by updating inpefess/python_with_provers:2025.03.10 to inpefess/python_with_provers:2025.03.10@sha256:e8ec721e376b1a7d2015a0231cb5d5f38fd6ca0df5406b5536aae92ffd7ae197","Warn: pipCommand not pinned by hash: Dockerfile:4","Warn: pipCommand not pinned by hash: Dockerfile:5","Info:   0 out of   1 containerImage dependencies pinned","Info:   0 out of   2 pipCommand dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"Signed-Releases","score":-1,"reason":"no releases found","details":null,"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Branch-Protection","score":0,"reason":"branch protection not enabled on development/release branches","details":["Warn: branch protection not enabled for branch 'master'"],"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"Vulnerabilities","score":8,"reason":"2 existing vulnerabilities detected","details":["Warn: Project is vulnerable to: GHSA-48p4-8xcf-vxj5","Warn: Project is vulnerable to: GHSA-pq67-6m6q-mj2v"],"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 30 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}}]},"last_synced_at":"2025-08-19T18:40:28.601Z","repository_id":37082802,"created_at":"2025-08-19T18:40:28.602Z","updated_at":"2025-08-19T18:40:28.602Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273506738,"owners_count":25118031,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-03T02:00:09.631Z","response_time":76,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"owner":{"login":"inpefess","name":"Boris Shminke","uuid":"1696493","kind":"user","description":"Postdoctoral Researcher","email":"","website":"https://boris.shminke.com","location":"Toulouse, France","twitter":null,"company":"Expleo","icon_url":"https://avatars.githubusercontent.com/u/1696493?u=5d8c1c44afeb297fb9ac0e79cb602683f2d5003b\u0026v=4","repositories_count":54,"last_synced_at":"2024-04-16T02:59:18.260Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/inpefess","funding_links":[],"total_stars":43,"followers":13,"following":0,"created_at":"2022-11-03T18:17:45.763Z","updated_at":"2024-04-16T02:59:30.344Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inpefess","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inpefess/repositories"},"packages":[{"id":338041,"name":"gym-saturation","ecosystem":"pypi","description":"Gymnasium environments for saturation provers","homepage":"https://github.com/inpefess/gym-saturation","licenses":"Apache-2.0","normalized_licenses":["Apache-2.0"],"repository_url":"https://github.com/inpefess/gym-saturation","keywords_array":["saturation prover","OpenAI Gym","Gymnasium","automated theorem prover"],"namespace":null,"versions_count":94,"first_release_published_at":"2021-07-26T10:56:53.000Z","latest_release_published_at":"2025-06-14T09:08:23.000Z","latest_release_number":"1.0.2","last_synced_at":"2025-09-03T20:36:00.995Z","created_at":"2022-04-06T12:50:16.416Z","updated_at":"2025-09-04T06:59:34.102Z","registry_url":"https://pypi.org/project/gym-saturation/","install_command":"pip install gym-saturation --index-url https://pypi.org/simple","documentation_url":"https://gym-saturation.readthedocs.io/","metadata":{"funding":null,"documentation":null,"classifiers":["Development Status :: 3 - Alpha","Environment :: Console","Intended Audience :: Science/Research","License :: OSI Approved :: Apache Software License","Natural Language :: English","Operating System :: OS Independent","Programming Language :: Python :: 3","Programming Language :: Python :: 3.10","Programming Language :: Python :: 3.11","Programming Language :: Python :: 3.12","Programming Language :: Python :: 3.13","Topic :: Scientific/Engineering :: Artificial Intelligence","Typing :: Typed"],"normalized_name":"gym-saturation","project_status":null},"repo_metadata":{"id":37082802,"uuid":"389591252","full_name":"inpefess/gym-saturation","owner":"inpefess","description":"a collection of Gymnasium environments for saturation provers","archived":false,"fork":false,"pushed_at":"2025-06-14T09:07:27.000Z","size":2726,"stargazers_count":22,"open_issues_count":3,"forks_count":2,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-08-28T00:13:18.281Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/inpefess.png","metadata":{"files":{"readme":"README.rst","changelog":null,"contributing":"CONTRIBUTING.rst","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.rst","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":"codemeta.json","zenodo":null}},"created_at":"2021-07-26T10:15:56.000Z","updated_at":"2025-06-14T09:07:12.000Z","dependencies_parsed_at":"2023-02-08T06:00:31.358Z","dependency_job_id":"8cd2b4aa-7ed2-446f-afc7-61b798968ba1","html_url":"https://github.com/inpefess/gym-saturation","commit_stats":{"total_commits":482,"total_committers":1,"mean_commits":482.0,"dds":0.0,"last_synced_commit":"f2a9b476f434a7e6d695dfd350e7ab06e8840de1"},"previous_names":[],"tags_count":43,"template":false,"template_full_name":null,"purl":"pkg:github/inpefess/gym-saturation","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inpefess","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/sbom","scorecard":{"id":489441,"data":{"date":"2025-08-11","repo":{"name":"github.com/inpefess/gym-saturation","commit":"2a990c9a9a08f2b69738b853b9b6a5ceb2514b13"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3.8,"checks":[{"name":"Token-Permissions","score":-1,"reason":"No tokens found","details":null,"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Dangerous-Workflow","score":-1,"reason":"no workflows found","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Maintained","score":10,"reason":"13 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Code-Review","score":0,"reason":"Found 0/3 approved changesets -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: Apache License 2.0: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: containerImage not pinned by hash: Dockerfile:1: pin your Docker image by updating inpefess/python_with_provers:2025.03.10 to inpefess/python_with_provers:2025.03.10@sha256:e8ec721e376b1a7d2015a0231cb5d5f38fd6ca0df5406b5536aae92ffd7ae197","Warn: pipCommand not pinned by hash: Dockerfile:4","Warn: pipCommand not pinned by hash: Dockerfile:5","Info:   0 out of   1 containerImage dependencies pinned","Info:   0 out of   2 pipCommand dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}},{"name":"Signed-Releases","score":-1,"reason":"no releases found","details":null,"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Branch-Protection","score":0,"reason":"branch protection not enabled on development/release branches","details":["Warn: branch protection not enabled for branch 'master'"],"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"Vulnerabilities","score":8,"reason":"2 existing vulnerabilities detected","details":["Warn: Project is vulnerable to: GHSA-48p4-8xcf-vxj5","Warn: Project is vulnerable to: GHSA-pq67-6m6q-mj2v"],"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 30 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}}]},"last_synced_at":"2025-08-19T18:40:28.601Z","repository_id":37082802,"created_at":"2025-08-19T18:40:28.602Z","updated_at":"2025-08-19T18:40:28.602Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273506738,"owners_count":25118031,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-09-03T02:00:09.631Z","response_time":76,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"},"owner_record":{"login":"inpefess","name":"Boris Shminke","uuid":"1696493","kind":"user","description":"Postdoctoral Researcher","email":"","website":"https://boris.shminke.com","location":"Toulouse, France","twitter":null,"company":"Expleo","icon_url":"https://avatars.githubusercontent.com/u/1696493?u=5d8c1c44afeb297fb9ac0e79cb602683f2d5003b\u0026v=4","repositories_count":54,"last_synced_at":"2024-04-16T02:59:18.260Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/inpefess","funding_links":[],"total_stars":43,"followers":13,"following":0,"created_at":"2022-11-03T18:17:45.763Z","updated_at":"2024-04-16T02:59:30.344Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inpefess","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inpefess/repositories"},"tags":[{"name":"v1.0.2","sha":"d57ef43efec1b7e1f62e65c4e99ff6cad5d3b90b","kind":"tag","published_at":"2025-06-14T09:02:10.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v1.0.2","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v1.0.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v1.0.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v1.0.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v1.0.2/manifests"},{"name":"v1.0.1","sha":"3156ebe1b26c247c8875fa6b36989e8c80495a6f","kind":"tag","published_at":"2025-05-15T21:18:41.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v1.0.1","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v1.0.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v1.0.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v1.0.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v1.0.1/manifests"},{"name":"v1.0.0","sha":"7f8f1be5021f742e679a4b9520cb2203cdc59743","kind":"tag","published_at":"2025-03-31T20:31:09.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v1.0.0","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v1.0.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v1.0.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v1.0.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v1.0.0/manifests"},{"name":"v0.12.4","sha":"ad9eddee650c0a1e9145e77706c14f88d3fdc29c","kind":"tag","published_at":"2025-03-16T16:19:18.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.12.4","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.12.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.12.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.12.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.12.4/manifests"},{"name":"v0.12.3","sha":"1a1a2ccddec4a6f2e149c0080a0cacc5f02ee721","kind":"tag","published_at":"2025-03-10T20:36:09.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.12.3","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.12.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.12.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.12.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.12.3/manifests"},{"name":"v0.12.2","sha":"c2e5f19d97267d1f0ecdc3845cd055d17a4a4a29","kind":"tag","published_at":"2025-03-09T18:09:11.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.12.2","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.12.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.12.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.12.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.12.2/manifests"},{"name":"v0.12.1","sha":"07081aaff9784f9a22a7e57d67ee874d2de4370d","kind":"tag","published_at":"2025-01-11T11:47:47.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.12.1","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.12.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.12.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.12.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.12.1/manifests"},{"name":"v0.12.0","sha":"32bda19adb8ca8351d600c3cedd67251cc769a02","kind":"tag","published_at":"2024-12-02T19:23:30.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.12.0","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.12.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.12.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.12.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.12.0/manifests"},{"name":"v0.11.9","sha":"36e1deba11c5a48a31dec6438e3157edcc7ac58f","kind":"tag","published_at":"2024-11-01T10:13:40.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.11.9","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.11.9","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.11.9","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.9","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.9/manifests"},{"name":"v0.11.8","sha":"88cd1dac07cc114ec43a8e14d3f8c9b9097ff92f","kind":"tag","published_at":"2024-05-29T20:06:22.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.11.8","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.11.8","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.11.8","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.8","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.8/manifests"},{"name":"v0.11.7","sha":"a40b3663681701cb6567c504e445c2e2ac1c0847","kind":"tag","published_at":"2024-04-26T19:23:27.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.11.7","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.11.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.11.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.7/manifests"},{"name":"v0.11.6","sha":"42100aa5ec40f0d8e8613df3fdc2fe9f2fc12663","kind":"tag","published_at":"2024-03-25T14:48:46.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.11.6","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.11.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.11.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.6/manifests"},{"name":"v0.11.5","sha":"8a078061142ac251008109f9a9b80ba9b769a986","kind":"tag","published_at":"2024-02-23T19:38:01.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.11.5","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.11.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.11.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.5/manifests"},{"name":"v0.11.4","sha":"fb52223ba8d24bf79c438be53db69a1fc68f6837","kind":"tag","published_at":"2024-01-20T20:34:25.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.11.4","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.11.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.11.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.4/manifests"},{"name":"v0.11.3","sha":"19b267f2e30b92394c6439d41a95fe2dfaba6888","kind":"tag","published_at":"2023-12-16T12:05:40.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.11.3","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.11.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.11.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.3/manifests"},{"name":"v0.11.2","sha":"d44a688ccc1070ec923aec81b5d9fba4c3ae1e62","kind":"tag","published_at":"2023-11-10T10:38:56.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.11.2","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.11.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.11.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.2/manifests"},{"name":"v0.11.1","sha":"fe43c301950e1674fa26b401e5f008a7da9ba476","kind":"tag","published_at":"2023-10-11T14:06:10.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.11.1","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.11.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.11.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.1/manifests"},{"name":"v0.11.0","sha":"8d9e01aac311fbf4a801e02bbe8ecceeabf07fd3","kind":"commit","published_at":"2023-09-24T09:25:38.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.11.0","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.11.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.11.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.11.0/manifests"},{"name":"v0.10.5","sha":"2147549b188437e6714c7dbac6d77d8e3a3b33b4","kind":"tag","published_at":"2023-09-19T05:43:26.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.10.5","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.10.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.10.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.10.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.10.5/manifests"},{"name":"v0.10.4","sha":"3f6ef7dca3b2455fdf61bd0c628af60e0adca75a","kind":"tag","published_at":"2023-08-20T13:06:23.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.10.4","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.10.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.10.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.10.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.10.4/manifests"},{"name":"v0.10.3","sha":"c345c5c732beb4fb1bdd3745fd9b2077b37882e4","kind":"tag","published_at":"2023-07-21T10:20:22.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.10.3","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.10.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.10.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.10.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.10.3/manifests"},{"name":"v0.10.2","sha":"b820f47a0777f7e9b82913166e5ab7a23a8b5c22","kind":"tag","published_at":"2023-06-21T10:24:31.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.10.2","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.10.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.10.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.10.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.10.2/manifests"},{"name":"v0.10.1","sha":"58ce98a5db40851dc96b40e77c08bcd825cd3add","kind":"tag","published_at":"2023-05-21T11:31:35.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.10.1","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.10.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.10.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.10.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.10.1/manifests"},{"name":"v0.10.0","sha":"b3b233dc2911dd9113f9f9a8a8415b3c8b25ede4","kind":"tag","published_at":"2023-04-25T17:49:16.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.10.0","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.10.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.10.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.10.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.10.0/manifests"},{"name":"v0.9.3","sha":"e2ad2191855c2fc8582d7a01be2cf114e7411b09","kind":"tag","published_at":"2023-04-21T11:54:07.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.9.3","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.9.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.9.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.9.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.9.3/manifests"},{"name":"v0.9.2","sha":"6dcd51089f7526248d3f9dad005afeeadd6d5d05","kind":"tag","published_at":"2023-04-11T16:43:25.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.9.2","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.9.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.9.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.9.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.9.2/manifests"},{"name":"v0.9.1","sha":"2a809c8a0f8165d832bde6a11eb920fde0bb2cfb","kind":"tag","published_at":"2023-04-06T15:46:19.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.9.1","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.9.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.9.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.9.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.9.1/manifests"},{"name":"v0.9.0","sha":"763c2f2ce7a26a3e79fd86f72ac26557d976a9c4","kind":"tag","published_at":"2023-04-04T10:57:36.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.9.0","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.9.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.9.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.9.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.9.0/manifests"},{"name":"v0.8.2","sha":"fe16339493c64ce10b9fbe48846e6b732acef533","kind":"tag","published_at":"2023-03-24T12:40:17.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.8.2","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.8.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.8.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.8.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.8.2/manifests"},{"name":"v0.8.1","sha":"6816e69af98d8154cb8fb030285b6cb18d274271","kind":"tag","published_at":"2023-03-02T21:40:10.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.8.1","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.8.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.8.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.8.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.8.1/manifests"},{"name":"v0.8.0","sha":"bfa219a9d9669a7115d31e3d53d61d6639827728","kind":"tag","published_at":"2023-03-01T15:54:49.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.8.0","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.8.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.8.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.8.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.8.0/manifests"},{"name":"v0.7.0","sha":"831eee3671cde29e925492d8368773f97fc35bb7","kind":"tag","published_at":"2023-02-25T20:27:45.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.7.0","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.7.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.7.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.7.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.7.0/manifests"},{"name":"v0.6.2","sha":"3b8d26a0d3341b47d506772c8aec6ae0029300e6","kind":"tag","published_at":"2023-02-08T17:49:38.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.6.2","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.6.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.6.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.6.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.6.2/manifests"},{"name":"v0.6.1","sha":"f9ff69ba63dbc3311472282284e88a1665d2367e","kind":"tag","published_at":"2023-01-08T12:46:48.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.6.1","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.6.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.6.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.6.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.6.1/manifests"},{"name":"v0.6.0","sha":"cf636cbc62e8075fad0e1bd5fc531861d0240205","kind":"tag","published_at":"2022-12-08T08:03:09.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.6.0","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.6.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.6.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.6.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.6.0/manifests"},{"name":"v0.5.2","sha":"3b37e3e83d9551abe5469e3c9218418578f31776","kind":"tag","published_at":"2022-11-08T10:17:18.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.5.2","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.5.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.5.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.5.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.5.2/manifests"},{"name":"v0.5.1","sha":"66b084d6f338a7c76ab8e86ac44390b00b07593f","kind":"tag","published_at":"2022-11-07T07:58:34.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.5.1","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.5.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.5.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.5.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.5.1/manifests"},{"name":"v0.5.0","sha":"3754bf18e97d8f8a0bab48de0ba260dff7ac308f","kind":"tag","published_at":"2022-10-18T13:52:49.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.5.0","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.5.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.5.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.5.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.5.0/manifests"},{"name":"v0.4.4","sha":"b0a74e5adf680bb3cc69624ae909eaa1e7210ac4","kind":"tag","published_at":"2022-09-19T19:50:27.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.4.4","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.4.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.4.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.4.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.4.4/manifests"},{"name":"v0.4.3","sha":"3e32001379a322285af53754f75fb413c9676ecf","kind":"tag","published_at":"2022-08-19T07:28:45.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.4.3","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.4.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.4.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.4.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.4.3/manifests"},{"name":"v0.4.2","sha":"921c63abd079dc2cf96089a49510ecf2ece82649","kind":"tag","published_at":"2022-08-02T08:04:55.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.4.2","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.4.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.4.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.4.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.4.2/manifests"},{"name":"v0.4.1","sha":"f902d404bb9f443afc73a881f0771d430d98345d","kind":"tag","published_at":"2022-07-03T11:33:54.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.4.1","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.4.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.4.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.4.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.4.1/manifests"},{"name":"v0.2.9","sha":"4b91a9d887f072e3a5a89898c70c2407ac4091d9","kind":"commit","published_at":"2022-02-26T10:40:49.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.2.9","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.2.9","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/inpefess/gym-saturation@v0.2.9","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.2.9","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags/v0.2.9/manifests"}]},"repo_metadata_updated_at":"2025-09-04T06:59:34.101Z","dependent_packages_count":0,"downloads":116,"downloads_period":"last-month","dependent_repos_count":1,"rankings":{"downloads":10.7723271780258,"dependent_repos_count":21.5515601217656,"dependent_packages_count":10.117827917587048,"stargazers_count":15.254017970976985,"forks_count":29.798377584488122,"docker_downloads_count":null,"average":17.49882215456871},"purl":"pkg:pypi/gym-saturation","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/pypi/gym-saturation","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/pypi/gym-saturation","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/pypi/gym-saturation/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-08-31T10:13:55.685Z","issues_count":46,"pull_requests_count":93,"avg_time_to_close_issue":14549459.255813954,"avg_time_to_close_pull_request":42141.63736263736,"issues_closed_count":43,"pull_requests_closed_count":91,"pull_request_authors_count":1,"issue_authors_count":2,"avg_comments_per_issue":0.45652173913043476,"avg_comments_per_pull_request":0.5161290322580645,"merged_pull_requests_count":90,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":8,"past_year_pull_requests_count":15,"past_year_avg_time_to_close_issue":10129949.75,"past_year_avg_time_to_close_pull_request":57692.769230769234,"past_year_issues_closed_count":8,"past_year_pull_requests_closed_count":13,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":1,"past_year_avg_comments_per_issue":0.125,"past_year_avg_comments_per_pull_request":0.8666666666666667,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":13,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/issues","maintainers":[{"login":"inpefess","count":141,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/inpefess"}],"active_maintainers":[{"login":"inpefess","count":24,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/inpefess"}]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/gym-saturation/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/gym-saturation/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/gym-saturation/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/gym-saturation/related_packages","maintainers":[{"uuid":"inpefess","login":"inpefess","name":null,"email":null,"url":null,"packages_count":6,"html_url":"https://pypi.org/user/inpefess/","role":null,"created_at":"2022-11-14T18:14:52.565Z","updated_at":"2022-11-14T18:14:52.565Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers/inpefess/packages"}],"registry":{"name":"pypi.org","url":"https://pypi.org","ecosystem":"pypi","default":true,"packages_count":724829,"maintainers_count":308209,"namespaces_count":0,"keywords_count":237984,"github":"pypi","metadata":{"funded_packages_count":50481},"icon_url":"https://github.com/pypi.png","created_at":"2022-04-04T15:19:23.364Z","updated_at":"2025-09-04T05:23:51.177Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/namespaces"}},{"id":5297741,"name":"gym-saturation","ecosystem":"conda","description":"gym-saturation is collection of Gymnasium environments for guiding automated theorem provers by reinforcement learning agents.","homepage":"https://github.com/inpefess/gym-saturation","licenses":"Apache-2.0","normalized_licenses":["Apache-2.0"],"repository_url":"https://github.com/inpefess/gym-saturation","keywords_array":[],"namespace":null,"versions_count":16,"first_release_published_at":"2022-02-04T12:07:21.000Z","latest_release_published_at":"2022-08-19T14:55:22.000Z","latest_release_number":"0.4.3","last_synced_at":"2025-09-03T20:36:07.322Z","created_at":"2022-10-03T16:02:59.128Z","updated_at":"2025-09-03T20:36:07.322Z","registry_url":"https://anaconda.org/conda-forge/gym-saturation","install_command":"conda install -c conda-forge gym-saturation","documentation_url":null,"metadata":{},"repo_metadata":{"uuid":"389591252","full_name":"inpefess/gym-saturation","owner":"inpefess","description":"a collection of Gymnasium environments for saturation provers","archived":false,"fork":false,"pushed_at":"2023-03-10T21:09:45.000Z","size":1608,"stargazers_count":7,"open_issues_count":8,"forks_count":0,"subscribers_count":4,"default_branch":"master","last_synced_at":"2023-03-13T23:41:21.707Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"logo_url":null,"metadata":{"files":{"readme":"README.rst","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2021-07-26T10:15:56.000Z","updated_at":"2023-03-04T18:37:00.000Z","dependencies_parsed_at":"2023-02-08T06:00:31.358Z","dependency_job_id":null,"html_url":"https://github.com/inpefess/gym-saturation","commit_stats":null,"repository_url":"http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation","tags_url":"http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/tags","manifests_url":"http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/manifests","owner_url":"http://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inpefess","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":108921946,"host_url":"http://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"http://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names"},"owner_record":{"login":"inpefess","name":"Boris Shminke","uuid":"1696493","kind":"user","description":"Doctorant Contractuel at CNRS","email":"","website":"https://boris.shminke.ml","location":"Nice, France","twitter":null,"company":null,"avatar_url":"https://avatars.githubusercontent.com/u/1696493?u=5d8c1c44afeb297fb9ac0e79cb602683f2d5003b\u0026v=4","repositories_count":15,"last_synced_at":"2023-02-16T05:35:12.910Z","metadata":{"has_sponsors_listing":false},"owner_url":"http://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/inpefess"},"tags":[{"name":"v0.6.0","sha":"cf636cbc62e8075fad0e1bd5fc531861d0240205","kind":"tag","published_at":"2022-12-08T08:03:09.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.6.0","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.6.0"},{"name":"v0.5.2","sha":"3b37e3e83d9551abe5469e3c9218418578f31776","kind":"tag","published_at":"2022-11-08T10:17:18.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.5.2","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.5.2"},{"name":"v0.5.1","sha":"66b084d6f338a7c76ab8e86ac44390b00b07593f","kind":"tag","published_at":"2022-11-07T07:58:34.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.5.1","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.5.1"},{"name":"v0.5.0","sha":"3754bf18e97d8f8a0bab48de0ba260dff7ac308f","kind":"tag","published_at":"2022-10-18T13:52:49.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.5.0","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.5.0"},{"name":"v0.4.4","sha":"b0a74e5adf680bb3cc69624ae909eaa1e7210ac4","kind":"tag","published_at":"2022-09-19T19:50:27.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.4.4","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.4.4"},{"name":"v0.4.3","sha":"3e32001379a322285af53754f75fb413c9676ecf","kind":"tag","published_at":"2022-08-19T07:28:45.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.4.3","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.4.3"},{"name":"v0.4.2","sha":"921c63abd079dc2cf96089a49510ecf2ece82649","kind":"tag","published_at":"2022-08-02T08:04:55.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.4.2","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.4.2"},{"name":"v0.4.1","sha":"f902d404bb9f443afc73a881f0771d430d98345d","kind":"tag","published_at":"2022-07-03T11:33:54.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.4.1","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.4.1"},{"name":"v0.2.9","sha":"4b91a9d887f072e3a5a89898c70c2407ac4091d9","kind":"commit","published_at":"2022-02-26T10:40:49.000Z","download_url":"https://codeload.github.com/inpefess/gym-saturation/tar.gz/v0.2.9","html_url":"https://github.com/inpefess/gym-saturation/releases/tag/v0.2.9"}]},"repo_metadata_updated_at":"2023-03-22T07:27:52.991Z","dependent_packages_count":0,"downloads":null,"downloads_period":null,"dependent_repos_count":0,"rankings":{"downloads":null,"dependent_repos_count":34.025455452957324,"dependent_packages_count":51.17544297479411,"stargazers_count":53.47142500623908,"forks_count":61.053156975293234,"average":49.93137010232094},"purl":"pkg:conda/gym-saturation","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/conda/gym-saturation","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/conda/gym-saturation","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/conda/gym-saturation/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2023-08-09T04:28:19.171Z","issues_count":38,"pull_requests_count":67,"avg_time_to_close_issue":11576359.25,"avg_time_to_close_pull_request":45669.82089552239,"issues_closed_count":32,"pull_requests_closed_count":67,"pull_request_authors_count":1,"issue_authors_count":2,"avg_comments_per_issue":0.5,"avg_comments_per_pull_request":0.373134328358209,"merged_pull_requests_count":66,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":9,"past_year_pull_requests_count":21,"past_year_avg_time_to_close_issue":1946386.625,"past_year_avg_time_to_close_pull_request":95976.71428571429,"past_year_issues_closed_count":8,"past_year_pull_requests_closed_count":21,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":2,"past_year_avg_comments_per_issue":0.8888888888888888,"past_year_avg_comments_per_pull_request":0.47619047619047616,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":20},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/conda-forge.org/packages/gym-saturation/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/conda-forge.org/packages/gym-saturation/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/conda-forge.org/packages/gym-saturation/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/conda-forge.org/packages/gym-saturation/related_packages","maintainers":[],"registry":{"name":"conda-forge.org","url":"https://conda-forge.org","ecosystem":"conda","default":false,"packages_count":20636,"maintainers_count":0,"namespaces_count":0,"keywords_count":13387,"github":"conda-forge","metadata":{"kind":"conda-forge","key":"CondaForge","api":"https://conda.anaconda.org","funded_packages_count":2180},"icon_url":"https://github.com/conda-forge.png","created_at":"2022-10-03T15:37:08.743Z","updated_at":"2025-09-04T07:00:12.892Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/conda-forge.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/conda-forge.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/conda-forge.org/namespaces"}}],"commits":{"id":31815,"full_name":"inpefess/gym-saturation","default_branch":"master","committers":[{"name":"Boris Shminke","email":"boris@shminke.ml","login":null,"count":503},{"name":"Boris Shminke","email":"boris@shminke.com","login":"inpefess","count":143}],"total_commits":646,"total_committers":2,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":323.0,"dds":0.22136222910216719,"past_year_committers":[{"name":"Boris Shminke","email":"boris@shminke.com","login":"inpefess","count":63}],"past_year_total_commits":63,"past_year_total_committers":1,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":63.0,"past_year_dds":0.0,"last_synced_at":"2025-08-07T06:36:16.309Z","last_synced_commit":"2a990c9a9a08f2b69738b853b9b6a5ceb2514b13","created_at":"2023-03-07T16:47:01.020Z","updated_at":"2025-08-07T06:36:16.310Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-08-08T00:00:12.331Z","repositories_count":5414652,"commits_count":848533866,"contributors_count":30914391,"owners_count":904115,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues_stats":{"full_name":"inpefess/gym-saturation","html_url":"https://github.com/inpefess/gym-saturation","last_synced_at":"2025-08-31T10:13:55.685Z","status":null,"issues_count":46,"pull_requests_count":93,"avg_time_to_close_issue":14549459.255813954,"avg_time_to_close_pull_request":42141.63736263736,"issues_closed_count":43,"pull_requests_closed_count":91,"pull_request_authors_count":1,"issue_authors_count":2,"avg_comments_per_issue":0.45652173913043476,"avg_comments_per_pull_request":0.5161290322580645,"merged_pull_requests_count":90,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":8,"past_year_pull_requests_count":15,"past_year_avg_time_to_close_issue":10129949.75,"past_year_avg_time_to_close_pull_request":57692.769230769234,"past_year_issues_closed_count":8,"past_year_pull_requests_closed_count":13,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":1,"past_year_avg_comments_per_issue":0.125,"past_year_avg_comments_per_pull_request":0.8666666666666667,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":13,"created_at":"2023-05-10T21:34:56.697Z","updated_at":"2025-09-02T20:05:30.975Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/inpefess%2Fgym-saturation/issues","issue_labels_count":{"enhancement":26,"documentation":9,"maintenance":4,"bug":1,"wontfix":1},"pull_request_labels_count":{"maintenance":2},"issue_author_associations_count":{"OWNER":45,"NONE":1},"pull_request_author_associations_count":{"OWNER":96},"issue_authors":{"inpefess":45,"elliottower":1},"pull_request_authors":{"inpefess":96},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-03T00:00:08.273Z","repositories_count":10068978,"issues_count":31212674,"pull_requests_count":95211468,"authors_count":10688660,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{"maintenance":4},"past_year_pull_request_labels_count":{"maintenance":2},"past_year_issue_author_associations_count":{"OWNER":8},"past_year_pull_request_author_associations_count":{"OWNER":16},"past_year_issue_authors":{"inpefess":8},"past_year_pull_request_authors":{"inpefess":16},"maintainers":[{"login":"inpefess","count":141,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/inpefess"}],"active_maintainers":[{"login":"inpefess","count":24,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/inpefess"}]},"events":{"total":{"IssuesEvent":17,"WatchEvent":7,"DeleteEvent":11,"IssueCommentEvent":10,"PushEvent":53,"PullRequestEvent":13,"CreateEvent":19},"last_year":{"IssuesEvent":17,"WatchEvent":7,"DeleteEvent":11,"IssueCommentEvent":10,"PushEvent":53,"PullRequestEvent":13,"CreateEvent":19}},"keywords":[],"dependencies":[{"ecosystem":"pypi","filepath":"doc/requirements.txt","sha":null,"kind":"manifest","created_at":"2022-07-11T20:00:40.317Z","updated_at":"2022-07-11T20:00:40.317Z","repository_link":"https://github.com/inpefess/gym-saturation/blob/master/doc/requirements.txt","dependencies":[{"id":139201641,"package_name":"gym","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":139201642,"package_name":"tptp_lark_parser","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":139201643,"package_name":"orjson","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":139201644,"package_name":"pexpect","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":139201645,"package_name":"sphinx-autodoc-typehints","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":139201646,"package_name":"importlib_resources","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"poetry.lock","sha":null,"kind":"lockfile","created_at":"2022-07-11T20:00:40.349Z","updated_at":"2022-07-11T20:00:40.349Z","repository_link":"https://github.com/inpefess/gym-saturation/blob/master/poetry.lock","dependencies":[{"id":139201651,"package_name":"alabaster","ecosystem":"pypi","requirements":"0.7.12","direct":false,"kind":"develop","optional":false},{"id":139201652,"package_name":"anyio","ecosystem":"pypi","requirements":"3.6.1","direct":false,"kind":"develop","optional":false},{"id":139201653,"package_name":"appnope","ecosystem":"pypi","requirements":"0.1.3","direct":false,"kind":"develop","optional":false},{"id":139201654,"package_name":"argon2-cffi","ecosystem":"pypi","requirements":"21.3.0","direct":false,"kind":"develop","optional":false},{"id":139201655,"package_name":"argon2-cffi-bindings","ecosystem":"pypi","requirements":"21.2.0","direct":false,"kind":"develop","optional":false},{"id":139201656,"package_name":"astroid","ecosystem":"pypi","requirements":"2.11.6","direct":false,"kind":"develop","optional":false},{"id":139201657,"package_name":"atomicwrites","ecosystem":"pypi","requirements":"1.4.0","direct":false,"kind":"develop","optional":false},{"id":139201658,"package_name":"attrs","ecosystem":"pypi","requirements":"21.4.0","direct":false,"kind":"develop","optional":false},{"id":139201659,"package_name":"babel","ecosystem":"pypi","requirements":"2.10.3","direct":false,"kind":"develop","optional":false},{"id":139201660,"package_name":"backcall","ecosystem":"pypi","requirements":"0.2.0","direct":false,"kind":"develop","optional":false},{"id":139201661,"package_name":"beautifulsoup4","ecosystem":"pypi","requirements":"4.11.1","direct":false,"kind":"develop","optional":false},{"id":139201662,"package_name":"black","ecosystem":"pypi","requirements":"22.3.0","direct":false,"kind":"develop","optional":false},{"id":139201663,"package_name":"bleach","ecosystem":"pypi","requirements":"5.0.0","direct":false,"kind":"develop","optional":false},{"id":139201664,"package_name":"certifi","ecosystem":"pypi","requirements":"2022.6.15","direct":false,"kind":"develop","optional":false},{"id":139201665,"package_name":"cffi","ecosystem":"pypi","requirements":"1.15.0","direct":false,"kind":"develop","optional":false},{"id":139201666,"package_name":"cfgv","ecosystem":"pypi","requirements":"3.3.1","direct":false,"kind":"develop","optional":false},{"id":139201667,"package_name":"charset-normalizer","ecosystem":"pypi","requirements":"2.0.12","direct":false,"kind":"develop","optional":false},{"id":139201668,"package_name":"cli-ui","ecosystem":"pypi","requirements":"0.17.0","direct":false,"kind":"develop","optional":false},{"id":139201669,"package_name":"click","ecosystem":"pypi","requirements":"8.1.3","direct":false,"kind":"develop","optional":false},{"id":139201670,"package_name":"cloudpickle","ecosystem":"pypi","requirements":"2.1.0","direct":false,"kind":"runtime","optional":false},{"id":139201671,"package_name":"colorama","ecosystem":"pypi","requirements":"0.4.5","direct":false,"kind":"develop","optional":false},{"id":139201672,"package_name":"contextlib2","ecosystem":"pypi","requirements":"21.6.0","direct":false,"kind":"develop","optional":false},{"id":139201673,"package_name":"coverage","ecosystem":"pypi","requirements":"6.4.1","direct":false,"kind":"develop","optional":false},{"id":139201674,"package_name":"debugpy","ecosystem":"pypi","requirements":"1.6.0","direct":false,"kind":"develop","optional":false},{"id":139201675,"package_name":"decorator","ecosystem":"pypi","requirements":"5.1.1","direct":false,"kind":"develop","optional":false},{"id":139201676,"package_name":"defusedxml","ecosystem":"pypi","requirements":"0.7.1","direct":false,"kind":"develop","optional":false},{"id":139201677,"package_name":"dill","ecosystem":"pypi","requirements":"0.3.5.1","direct":false,"kind":"develop","optional":false},{"id":139201678,"package_name":"distlib","ecosystem":"pypi","requirements":"0.3.4","direct":false,"kind":"develop","optional":false},{"id":139201679,"package_name":"docopt","ecosystem":"pypi","requirements":"0.6.2","direct":false,"kind":"develop","optional":false},{"id":139201680,"package_name":"docutils","ecosystem":"pypi","requirements":"0.17.1","direct":false,"kind":"develop","optional":false},{"id":139201681,"package_name":"entrypoints","ecosystem":"pypi","requirements":"0.4","direct":false,"kind":"develop","optional":false},{"id":139201682,"package_name":"fastjsonschema","ecosystem":"pypi","requirements":"2.15.3","direct":false,"kind":"develop","optional":false},{"id":139201683,"package_name":"filelock","ecosystem":"pypi","requirements":"3.7.1","direct":false,"kind":"develop","optional":false},{"id":139201684,"package_name":"gym","ecosystem":"pypi","requirements":"0.21.0","direct":false,"kind":"runtime","optional":false},{"id":139201685,"package_name":"identify","ecosystem":"pypi","requirements":"2.5.1","direct":false,"kind":"develop","optional":false},{"id":139201686,"package_name":"idna","ecosystem":"pypi","requirements":"3.3","direct":false,"kind":"develop","optional":false},{"id":139201687,"package_name":"imagesize","ecosystem":"pypi","requirements":"1.3.0","direct":false,"kind":"develop","optional":false},{"id":139201688,"package_name":"importlib-metadata","ecosystem":"pypi","requirements":"4.11.4","direct":false,"kind":"runtime","optional":false},{"id":139201689,"package_name":"importlib-resources","ecosystem":"pypi","requirements":"5.8.0","direct":false,"kind":"runtime","optional":false},{"id":139201690,"package_name":"iniconfig","ecosystem":"pypi","requirements":"1.1.1","direct":false,"kind":"develop","optional":false},{"id":139201691,"package_name":"ipykernel","ecosystem":"pypi","requirements":"6.15.0","direct":false,"kind":"develop","optional":false},{"id":139201692,"package_name":"ipython","ecosystem":"pypi","requirements":"7.34.0","direct":false,"kind":"develop","optional":false},{"id":139201693,"package_name":"ipython-genutils","ecosystem":"pypi","requirements":"0.2.0","direct":false,"kind":"develop","optional":false},{"id":139201694,"package_name":"isort","ecosystem":"pypi","requirements":"5.10.1","direct":false,"kind":"develop","optional":false},{"id":139201695,"package_name":"jedi","ecosystem":"pypi","requirements":"0.18.1","direct":false,"kind":"develop","optional":false},{"id":139201696,"package_name":"jinja2","ecosystem":"pypi","requirements":"3.1.2","direct":false,"kind":"develop","optional":false},{"id":139201697,"package_name":"json5","ecosystem":"pypi","requirements":"0.9.8","direct":false,"kind":"develop","optional":false},{"id":139201698,"package_name":"jsonschema","ecosystem":"pypi","requirements":"4.6.0","direct":false,"kind":"develop","optional":false},{"id":139201699,"package_name":"jupyter-client","ecosystem":"pypi","requirements":"7.3.4","direct":false,"kind":"develop","optional":false},{"id":139201700,"package_name":"jupyter-core","ecosystem":"pypi","requirements":"4.10.0","direct":false,"kind":"develop","optional":false},{"id":139201701,"package_name":"jupyter-server","ecosystem":"pypi","requirements":"1.17.1","direct":false,"kind":"develop","optional":false},{"id":139201702,"package_name":"jupyterlab","ecosystem":"pypi","requirements":"3.4.3","direct":false,"kind":"develop","optional":false},{"id":139201703,"package_name":"jupyterlab-pygments","ecosystem":"pypi","requirements":"0.2.2","direct":false,"kind":"develop","optional":false},{"id":139201704,"package_name":"jupyterlab-server","ecosystem":"pypi","requirements":"2.14.0","direct":false,"kind":"develop","optional":false},{"id":139201705,"package_name":"lark-parser","ecosystem":"pypi","requirements":"0.12.0","direct":false,"kind":"runtime","optional":false},{"id":139201706,"package_name":"lazy-object-proxy","ecosystem":"pypi","requirements":"1.7.1","direct":false,"kind":"develop","optional":false},{"id":139201707,"package_name":"markupsafe","ecosystem":"pypi","requirements":"2.1.1","direct":false,"kind":"develop","optional":false},{"id":139201708,"package_name":"matplotlib-inline","ecosystem":"pypi","requirements":"0.1.3","direct":false,"kind":"develop","optional":false},{"id":139201709,"package_name":"mccabe","ecosystem":"pypi","requirements":"0.7.0","direct":false,"kind":"develop","optional":false},{"id":139201710,"package_name":"mistune","ecosystem":"pypi","requirements":"0.8.4","direct":false,"kind":"develop","optional":false},{"id":139201711,"package_name":"mypy","ecosystem":"pypi","requirements":"0.961","direct":false,"kind":"develop","optional":false},{"id":139201712,"package_name":"mypy-extensions","ecosystem":"pypi","requirements":"0.4.3","direct":false,"kind":"develop","optional":false},{"id":139201713,"package_name":"nbclassic","ecosystem":"pypi","requirements":"0.3.7","direct":false,"kind":"develop","optional":false},{"id":139201714,"package_name":"nbclient","ecosystem":"pypi","requirements":"0.6.4","direct":false,"kind":"develop","optional":false},{"id":139201715,"package_name":"nbconvert","ecosystem":"pypi","requirements":"6.5.0","direct":false,"kind":"develop","optional":false},{"id":139201716,"package_name":"nbformat","ecosystem":"pypi","requirements":"5.4.0","direct":false,"kind":"develop","optional":false},{"id":139201717,"package_name":"nest-asyncio","ecosystem":"pypi","requirements":"1.5.5","direct":false,"kind":"develop","optional":false},{"id":139201718,"package_name":"nodeenv","ecosystem":"pypi","requirements":"1.6.0","direct":false,"kind":"develop","optional":false},{"id":139201719,"package_name":"notebook","ecosystem":"pypi","requirements":"6.4.12","direct":false,"kind":"develop","optional":false},{"id":139201720,"package_name":"notebook-shim","ecosystem":"pypi","requirements":"0.1.0","direct":false,"kind":"develop","optional":false},{"id":139201721,"package_name":"numpy","ecosystem":"pypi","requirements":"1.21.6","direct":false,"kind":"runtime","optional":false},{"id":139201722,"package_name":"orjson","ecosystem":"pypi","requirements":"3.7.2","direct":false,"kind":"runtime","optional":false},{"id":139201723,"package_name":"packaging","ecosystem":"pypi","requirements":"21.3","direct":false,"kind":"develop","optional":false},{"id":139201724,"package_name":"pandocfilters","ecosystem":"pypi","requirements":"1.5.0","direct":false,"kind":"develop","optional":false},{"id":139201725,"package_name":"parso","ecosystem":"pypi","requirements":"0.8.3","direct":false,"kind":"develop","optional":false},{"id":139201726,"package_name":"pathspec","ecosystem":"pypi","requirements":"0.9.0","direct":false,"kind":"develop","optional":false},{"id":139201727,"package_name":"pexpect","ecosystem":"pypi","requirements":"4.8.0","direct":false,"kind":"runtime","optional":false},{"id":139201728,"package_name":"pickleshare","ecosystem":"pypi","requirements":"0.7.5","direct":false,"kind":"develop","optional":false},{"id":139201729,"package_name":"platformdirs","ecosystem":"pypi","requirements":"2.5.2","direct":false,"kind":"develop","optional":false},{"id":139201730,"package_name":"pluggy","ecosystem":"pypi","requirements":"1.0.0","direct":false,"kind":"develop","optional":false},{"id":139201731,"package_name":"pre-commit","ecosystem":"pypi","requirements":"2.19.0","direct":false,"kind":"develop","optional":false},{"id":139201732,"package_name":"prometheus-client","ecosystem":"pypi","requirements":"0.14.1","direct":false,"kind":"develop","optional":false},{"id":139201733,"package_name":"prompt-toolkit","ecosystem":"pypi","requirements":"3.0.29","direct":false,"kind":"develop","optional":false},{"id":139201734,"package_name":"psutil","ecosystem":"pypi","requirements":"5.9.1","direct":false,"kind":"develop","optional":false},{"id":139201735,"package_name":"ptyprocess","ecosystem":"pypi","requirements":"0.7.0","direct":false,"kind":"runtime","optional":false},{"id":139201736,"package_name":"py","ecosystem":"pypi","requirements":"1.11.0","direct":false,"kind":"develop","optional":false},{"id":139201737,"package_name":"pycparser","ecosystem":"pypi","requirements":"2.21","direct":false,"kind":"develop","optional":false},{"id":139201738,"package_name":"pydocstyle","ecosystem":"pypi","requirements":"6.1.1","direct":false,"kind":"develop","optional":false},{"id":139201739,"package_name":"pygments","ecosystem":"pypi","requirements":"2.12.0","direct":false,"kind":"develop","optional":false},{"id":139201740,"package_name":"pylint","ecosystem":"pypi","requirements":"2.13.9","direct":false,"kind":"develop","optional":false},{"id":139201741,"package_name":"pyparsing","ecosystem":"pypi","requirements":"3.0.9","direct":false,"kind":"develop","optional":false},{"id":139201742,"package_name":"pyrsistent","ecosystem":"pypi","requirements":"0.18.1","direct":false,"kind":"develop","optional":false},{"id":139201743,"package_name":"pytest","ecosystem":"pypi","requirements":"7.1.2","direct":false,"kind":"develop","optional":false},{"id":139201744,"package_name":"pytest-cov","ecosystem":"pypi","requirements":"3.0.0","direct":false,"kind":"develop","optional":false},{"id":139201745,"package_name":"pytest-cover","ecosystem":"pypi","requirements":"3.0.0","direct":false,"kind":"develop","optional":false},{"id":139201746,"package_name":"pytest-coverage","ecosystem":"pypi","requirements":"0.0","direct":false,"kind":"develop","optional":false},{"id":139201747,"package_name":"python-dateutil","ecosystem":"pypi","requirements":"2.8.2","direct":false,"kind":"develop","optional":false},{"id":139201748,"package_name":"pytz","ecosystem":"pypi","requirements":"2022.1","direct":false,"kind":"develop","optional":false},{"id":139201749,"package_name":"pywin32","ecosystem":"pypi","requirements":"304","direct":false,"kind":"develop","optional":false},{"id":139201750,"package_name":"pywinpty","ecosystem":"pypi","requirements":"2.0.5","direct":false,"kind":"develop","optional":false},{"id":139201751,"package_name":"pyyaml","ecosystem":"pypi","requirements":"6.0","direct":false,"kind":"develop","optional":false},{"id":139201752,"package_name":"pyzmq","ecosystem":"pypi","requirements":"23.1.0","direct":false,"kind":"develop","optional":false},{"id":139201753,"package_name":"requests","ecosystem":"pypi","requirements":"2.28.0","direct":false,"kind":"develop","optional":false},{"id":139201754,"package_name":"schema","ecosystem":"pypi","requirements":"0.7.5","direct":false,"kind":"develop","optional":false},{"id":139201755,"package_name":"send2trash","ecosystem":"pypi","requirements":"1.8.0","direct":false,"kind":"develop","optional":false},{"id":139201756,"package_name":"six","ecosystem":"pypi","requirements":"1.16.0","direct":false,"kind":"develop","optional":false},{"id":139201757,"package_name":"sniffio","ecosystem":"pypi","requirements":"1.2.0","direct":false,"kind":"develop","optional":false},{"id":139201758,"package_name":"snowballstemmer","ecosystem":"pypi","requirements":"2.2.0","direct":false,"kind":"develop","optional":false},{"id":139201759,"package_name":"soupsieve","ecosystem":"pypi","requirements":"2.3.2.post1","direct":false,"kind":"develop","optional":false},{"id":139201760,"package_name":"sphinx","ecosystem":"pypi","requirements":"5.0.2","direct":false,"kind":"develop","optional":false},{"id":139201761,"package_name":"sphinx-autodoc-typehints","ecosystem":"pypi","requirements":"1.18.3","direct":false,"kind":"develop","optional":false},{"id":139201762,"package_name":"sphinx-rtd-theme","ecosystem":"pypi","requirements":"1.0.0","direct":false,"kind":"develop","optional":false},{"id":139201763,"package_name":"sphinxcontrib-applehelp","ecosystem":"pypi","requirements":"1.0.2","direct":false,"kind":"develop","optional":false},{"id":139201764,"package_name":"sphinxcontrib-devhelp","ecosystem":"pypi","requirements":"1.0.2","direct":false,"kind":"develop","optional":false},{"id":139201765,"package_name":"sphinxcontrib-htmlhelp","ecosystem":"pypi","requirements":"2.0.0","direct":false,"kind":"develop","optional":false},{"id":139201766,"package_name":"sphinxcontrib-jsmath","ecosystem":"pypi","requirements":"1.0.1","direct":false,"kind":"develop","optional":false},{"id":139201767,"package_name":"sphinxcontrib-qthelp","ecosystem":"pypi","requirements":"1.0.3","direct":false,"kind":"develop","optional":false},{"id":139201768,"package_name":"sphinxcontrib-serializinghtml","ecosystem":"pypi","requirements":"1.1.5","direct":false,"kind":"develop","optional":false},{"id":139201769,"package_name":"tabulate","ecosystem":"pypi","requirements":"0.8.10","direct":false,"kind":"develop","optional":false},{"id":139201770,"package_name":"tbump","ecosystem":"pypi","requirements":"6.9.0","direct":false,"kind":"develop","optional":false},{"id":139201771,"package_name":"terminado","ecosystem":"pypi","requirements":"0.15.0","direct":false,"kind":"develop","optional":false},{"id":139201772,"package_name":"tinycss2","ecosystem":"pypi","requirements":"1.1.1","direct":false,"kind":"develop","optional":false},{"id":139201773,"package_name":"toml","ecosystem":"pypi","requirements":"0.10.2","direct":false,"kind":"develop","optional":false},{"id":139201774,"package_name":"tomli","ecosystem":"pypi","requirements":"2.0.1","direct":false,"kind":"develop","optional":false},{"id":139201775,"package_name":"tomlkit","ecosystem":"pypi","requirements":"0.11.0","direct":false,"kind":"develop","optional":false},{"id":139201776,"package_name":"tornado","ecosystem":"pypi","requirements":"6.1","direct":false,"kind":"develop","optional":false},{"id":139201777,"package_name":"tptp-lark-parser","ecosystem":"pypi","requirements":"0.0.7","direct":false,"kind":"runtime","optional":false},{"id":139201778,"package_name":"traitlets","ecosystem":"pypi","requirements":"5.3.0","direct":false,"kind":"develop","optional":false},{"id":139201779,"package_name":"typed-ast","ecosystem":"pypi","requirements":"1.5.4","direct":false,"kind":"develop","optional":false},{"id":139201780,"package_name":"types-dataclasses","ecosystem":"pypi","requirements":"0.6.5","direct":false,"kind":"develop","optional":false},{"id":139201781,"package_name":"typing-extensions","ecosystem":"pypi","requirements":"4.2.0","direct":false,"kind":"runtime","optional":false},{"id":139201782,"package_name":"unidecode","ecosystem":"pypi","requirements":"1.3.4","direct":false,"kind":"develop","optional":false},{"id":139201783,"package_name":"urllib3","ecosystem":"pypi","requirements":"1.26.9","direct":false,"kind":"develop","optional":false},{"id":139201784,"package_name":"virtualenv","ecosystem":"pypi","requirements":"20.14.1","direct":false,"kind":"develop","optional":false},{"id":139201785,"package_name":"wcwidth","ecosystem":"pypi","requirements":"0.2.5","direct":false,"kind":"develop","optional":false},{"id":139201786,"package_name":"webencodings","ecosystem":"pypi","requirements":"0.5.1","direct":false,"kind":"develop","optional":false},{"id":139201787,"package_name":"websocket-client","ecosystem":"pypi","requirements":"1.3.2","direct":false,"kind":"develop","optional":false},{"id":139201788,"package_name":"wrapt","ecosystem":"pypi","requirements":"1.14.1","direct":false,"kind":"develop","optional":false},{"id":139201789,"package_name":"zipp","ecosystem":"pypi","requirements":"3.8.0","direct":false,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"pyproject.toml","sha":null,"kind":"manifest","created_at":"2022-07-11T20:00:40.463Z","updated_at":"2022-07-11T20:00:40.463Z","repository_link":"https://github.com/inpefess/gym-saturation/blob/master/pyproject.toml","dependencies":[{"id":139202349,"package_name":"python","ecosystem":"pypi","requirements":"\u003e= 3.7.1, \u003c 3.11","direct":true,"kind":"runtime","optional":false},{"id":139202350,"package_name":"gym","ecosystem":"pypi","requirements":"\u003c0.22","direct":true,"kind":"runtime","optional":false},{"id":139202351,"package_name":"importlib_resources","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":139202352,"package_name":"orjson","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":139202353,"package_name":"pexpect","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":139202354,"package_name":"tptp-lark-parser","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":139202355,"package_name":"black","ecosystem":"pypi","requirements":"*","direct":true,"kind":"develop","optional":false},{"id":139202356,"package_name":"jupyterlab","ecosystem":"pypi","requirements":"*","direct":true,"kind":"develop","optional":false},{"id":139202357,"package_name":"mypy","ecosystem":"pypi","requirements":"*","direct":true,"kind":"develop","optional":false},{"id":139202358,"package_name":"pylint","ecosystem":"pypi","requirements":"*","direct":true,"kind":"develop","optional":false},{"id":139202359,"package_name":"pytest-coverage","ecosystem":"pypi","requirements":"*","direct":true,"kind":"develop","optional":false},{"id":139202360,"package_name":"pre-commit","ecosystem":"pypi","requirements":"*","direct":true,"kind":"develop","optional":false},{"id":139202361,"package_name":"types-dataclasses","ecosystem":"pypi","requirements":"*","direct":true,"kind":"develop","optional":false},{"id":139202362,"package_name":"sphinx-rtd-theme","ecosystem":"pypi","requirements":"*","direct":true,"kind":"develop","optional":false},{"id":139202363,"package_name":"sphinx-autodoc-typehints","ecosystem":"pypi","requirements":"*","direct":true,"kind":"develop","optional":false},{"id":139202364,"package_name":"pydocstyle","ecosystem":"pypi","requirements":"*","direct":true,"kind":"develop","optional":false},{"id":139202365,"package_name":"tbump","ecosystem":"pypi","requirements":"*","direct":true,"kind":"develop","optional":false}]},{"ecosystem":"docker","filepath":"Dockerfile","sha":null,"kind":"manifest","created_at":"2023-02-08T06:00:31.303Z","updated_at":"2023-02-08T06:00:31.303Z","repository_link":"https://github.com/inpefess/gym-saturation/blob/master/Dockerfile","dependencies":[{"id":7441965281,"package_name":"inpefess/python_with_provers","ecosystem":"docker","requirements":"latest","direct":true,"kind":"build","optional":false}]}],"score":8.68270762989381,"created_at":"2025-09-04T09:17:49.908Z","updated_at":"2025-11-04T15:50:35.569Z","avatar_url":"https://github.com/inpefess.png","language":"TeX","category":"Scientific Software","sub_category":"Peer-reviewed","monthly_downloads":116,"funding_links":[],"readme_doi_urls":["https://doi.org/10.1007/978-3-030-86059-2_10","https://doi.org/10.1007/978-3-030-86059-2_11","https://doi.org/10.29007/tp23","https://doi.org/10.1007/978-3-031-43513-3_11"],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":[],"project_url":"https://science.ecosyste.ms/api/v1/projects/1592","html_url":"https://science.ecosyste.ms/projects/1592"}