{"id":47906,"name":"tensor-theorem-prover","description":"First-order logic theorem prover supporting unification with approximate vector similarity","url":"https://github.com/chanind/tensor-theorem-prover","last_synced_at":"2025-09-05T11:15:33.982Z","repository":{"id":61878940,"uuid":"552851838","full_name":"chanind/tensor-theorem-prover","owner":"chanind","description":"First-order logic theorem prover supporting unification with approximate vector similarity","archived":false,"fork":false,"pushed_at":"2023-03-23T13:45:30.000Z","size":3309,"stargazers_count":12,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-08-20T16:44:54.241Z","etag":null,"topics":["first-order-logic","logic","reasoning","symbolic-logic","theorem-proving"],"latest_commit_sha":null,"homepage":"https://tensor-theorem-prover.readthedocs.io","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/chanind.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"docs/contributing.rst","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2022-10-17T10:26:27.000Z","updated_at":"2025-05-29T01:53:30.000Z","dependencies_parsed_at":"2024-02-10T12:47:04.705Z","dependency_job_id":null,"html_url":"https://github.com/chanind/tensor-theorem-prover","commit_stats":{"total_commits":116,"total_committers":3,"mean_commits":"38.666666666666664","dds":"0.27586206896551724","last_synced_commit":"270ba032edb7a90e756e7025fc339c9cce17d4c4"},"previous_names":[],"tags_count":31,"template":false,"template_full_name":null,"purl":"pkg:github/chanind/tensor-theorem-prover","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/chanind","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273747894,"owners_count":25160680,"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-05T02:00:09.113Z","response_time":402,"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":"chanind","name":"David Chanin","uuid":"200725","kind":"user","description":"","email":"","website":"https://chanind.github.io","location":"London, UK","twitter":null,"company":"UCL","icon_url":"https://avatars.githubusercontent.com/u/200725?u=e2ad88641399991c2d2143389aa47245d49764de\u0026v=4","repositories_count":97,"last_synced_at":"2024-04-14T15:28:50.006Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/chanind","funding_links":[],"total_stars":3577,"followers":253,"following":20,"created_at":"2022-11-02T20:50:17.296Z","updated_at":"2024-04-14T15:29:12.606Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/chanind","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/chanind/repositories"},"packages":[{"id":5365300,"name":"tensor-theorem-prover","ecosystem":"pypi","description":"Customizable first-order logic theorem prover supporting approximate vector similarity in unification","homepage":"https://github.com/chanind/tensor-theorem-prover","licenses":"MIT","normalized_licenses":["MIT"],"repository_url":"https://github.com/chanind/tensor-theorem-prover","keywords_array":["theorem-proving","logic","first-order","unification","reasoning"],"namespace":null,"versions_count":26,"first_release_published_at":"2022-10-22T22:05:52.000Z","latest_release_published_at":"2023-02-07T17:24:14.000Z","latest_release_number":"0.14.0","last_synced_at":"2025-08-20T16:21:21.208Z","created_at":"2022-10-22T22:34:07.483Z","updated_at":"2025-08-20T16:27:22.980Z","registry_url":"https://pypi.org/project/tensor-theorem-prover/","install_command":"pip install tensor-theorem-prover --index-url https://pypi.org/simple","documentation_url":"https://tensor-theorem-prover.readthedocs.io/","metadata":{"funding":null,"documentation":null,"classifiers":["License :: OSI Approved :: MIT License","Programming Language :: Python :: 3","Programming Language :: Python :: 3.10","Programming Language :: Python :: 3.11","Programming Language :: Python :: 3.9"],"normalized_name":"tensor-theorem-prover","project_status":null},"repo_metadata":{"id":61878940,"uuid":"552851838","full_name":"chanind/tensor-theorem-prover","owner":"chanind","description":"First-order logic theorem prover supporting unification with approximate vector similarity","archived":false,"fork":false,"pushed_at":"2023-03-23T13:45:30.000Z","size":3309,"stargazers_count":12,"open_issues_count":0,"forks_count":1,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-07-18T20:54:17.059Z","etag":null,"topics":["first-order-logic","logic","reasoning","symbolic-logic","theorem-proving"],"latest_commit_sha":null,"homepage":"https://tensor-theorem-prover.readthedocs.io","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/chanind.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"docs/contributing.rst","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2022-10-17T10:26:27.000Z","updated_at":"2025-05-29T01:53:30.000Z","dependencies_parsed_at":"2024-02-10T12:47:04.705Z","dependency_job_id":null,"html_url":"https://github.com/chanind/tensor-theorem-prover","commit_stats":{"total_commits":116,"total_committers":3,"mean_commits":"38.666666666666664","dds":"0.27586206896551724","last_synced_commit":"270ba032edb7a90e756e7025fc339c9cce17d4c4"},"previous_names":[],"tags_count":31,"template":false,"template_full_name":null,"purl":"pkg:github/chanind/tensor-theorem-prover","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/chanind","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":271348027,"owners_count":24743967,"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-08-20T02:00:09.606Z","response_time":69,"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":"chanind","name":"David Chanin","uuid":"200725","kind":"user","description":"","email":"","website":"https://chanind.github.io","location":"London, UK","twitter":null,"company":"UCL","icon_url":"https://avatars.githubusercontent.com/u/200725?u=e2ad88641399991c2d2143389aa47245d49764de\u0026v=4","repositories_count":97,"last_synced_at":"2024-04-14T15:28:50.006Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/chanind","funding_links":[],"total_stars":3577,"followers":253,"following":20,"created_at":"2022-11-02T20:50:17.296Z","updated_at":"2024-04-14T15:29:12.606Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/chanind","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/chanind/repositories"},"tags":[{"name":"v0.14.0","sha":"8d32f2c20b5bcae71f624c7c179eb0b6dd05a236","kind":"tag","published_at":"2023-02-07T17:19:05.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.14.0","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.14.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.14.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.14.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.14.0/manifests"},{"name":"v0.13.8","sha":"bff1e42ee267765c76d7ed5eec05bfa8e7c16a8d","kind":"tag","published_at":"2023-01-27T23:13:58.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.13.8","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.13.8","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.13.8","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.8","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.8/manifests"},{"name":"v0.13.7","sha":"57d4ae05ee061f28d54b4056f7d753b0705f2bd8","kind":"tag","published_at":"2023-01-27T18:13:34.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.13.7","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.13.7","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.13.7","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.7/manifests"},{"name":"v0.13.6","sha":"4bbad7bb8b0d66ed72bfb00c46f56bdcf5b932ca","kind":"tag","published_at":"2023-01-27T17:55:46.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.13.6","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.13.6","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.13.6","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.6/manifests"},{"name":"v0.13.5","sha":"29d61d2291c230fe667da46e67219627bb7a15fe","kind":"tag","published_at":"2023-01-27T17:41:54.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.13.5","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.13.5","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.13.5","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.5/manifests"},{"name":"v0.13.4","sha":"21c920393a9c918a304d5cee489e2f44c67f0ae2","kind":"tag","published_at":"2023-01-27T17:30:07.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.13.4","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.13.4","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.13.4","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.4/manifests"},{"name":"v0.13.3","sha":"cfd0af122e9db28624a068e8a7da13ddce151901","kind":"tag","published_at":"2023-01-27T17:15:26.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.13.3","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.13.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.13.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.3/manifests"},{"name":"v0.13.2","sha":"d5ae5263a2a0d8a970cf7e40874b1119dd26f67f","kind":"tag","published_at":"2023-01-27T16:53:19.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.13.2","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.13.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.13.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.2/manifests"},{"name":"v0.13.1","sha":"9e3c0236ec18b3a355a845ea1737ba2a5b92eed3","kind":"tag","published_at":"2023-01-27T16:42:40.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.13.1","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.13.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.13.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.1/manifests"},{"name":"v0.13.0","sha":"e83dea6d89bf0be5971b046d790188ac237ef3a9","kind":"tag","published_at":"2023-01-27T16:08:57.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.13.0","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.13.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.13.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.13.0/manifests"},{"name":"v0.12.0","sha":"2d5bf5a2209597a2a3a8a81048fdd761af4de756","kind":"tag","published_at":"2023-01-09T15:31:36.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.12.0","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.12.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.12.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.12.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.12.0/manifests"},{"name":"v0.11.3","sha":"5ebf22f3c35d615ccef60eae5214a5f7926da397","kind":"tag","published_at":"2023-01-05T20:38:40.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.11.3","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.11.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.11.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.11.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.11.3/manifests"},{"name":"v0.11.2","sha":"97e664e814b9e3a977deb8545a7fca34edbcfb74","kind":"tag","published_at":"2023-01-03T21:47:23.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.11.2","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.11.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.11.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.11.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.11.2/manifests"},{"name":"v0.11.1","sha":"fa6026e217dcd0cd30581af631cd818e32164ee0","kind":"tag","published_at":"2022-12-22T00:53:16.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.11.1","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.11.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.11.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.11.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.11.1/manifests"},{"name":"v0.11.0","sha":"d63180eb13c138d6a42daa6e5140dc4e2abc2865","kind":"tag","published_at":"2022-12-18T23:02:40.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.11.0","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.11.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.11.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.11.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.11.0/manifests"},{"name":"v0.10.2","sha":"e8af98eb960c9fac8e012c766ce4f90558ecaeae","kind":"tag","published_at":"2022-12-13T17:37:44.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.10.2","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.10.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.10.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.10.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.10.2/manifests"},{"name":"v0.10.1","sha":"44ca036a831d419f95c9b20a811990662404ab4a","kind":"tag","published_at":"2022-12-13T17:15:32.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.10.1","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.10.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.10.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.10.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.10.1/manifests"},{"name":"v0.10.0","sha":"cecc6b849ee6254c44b646a099cae9a2ff0a70b7","kind":"tag","published_at":"2022-12-13T12:53:37.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.10.0","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.10.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.10.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.10.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.10.0/manifests"},{"name":"v0.9.0","sha":"b41e36704618b13197e6e3d34b71e33f830d30b2","kind":"tag","published_at":"2022-12-13T00:17:24.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.9.0","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.9.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.9.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.9.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.9.0/manifests"},{"name":"v0.8.0","sha":"3a465e554704509318c57ef170b41e6c5fb44db3","kind":"tag","published_at":"2022-12-12T23:20:42.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.8.0","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.8.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.8.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.8.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.8.0/manifests"},{"name":"v0.7.0","sha":"a96b5b6f3f4063657706c44a99647c55a4b5b087","kind":"tag","published_at":"2022-12-08T17:03:03.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.7.0","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.7.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.7.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.7.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.7.0/manifests"},{"name":"v0.6.2","sha":"5aca388aba4804741b77dd8dc769b322507d3131","kind":"tag","published_at":"2022-12-07T12:24:48.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.6.2","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.6.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.6.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.6.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.6.2/manifests"},{"name":"v0.6.1","sha":"ba71b034522ce0275cd5baac3af30f351528ad61","kind":"tag","published_at":"2022-12-07T12:14:59.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.6.1","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.6.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.6.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.6.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.6.1/manifests"},{"name":"v0.6.0","sha":"bc5a0515b3891e7884fb7e8e14b917f969cec414","kind":"tag","published_at":"2022-12-05T13:41:55.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.6.0","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.6.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.6.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.6.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.6.0/manifests"},{"name":"v0.5.0","sha":"4a1ec7ba33a613041b31221e0d289ed9f6de25bc","kind":"tag","published_at":"2022-12-05T13:31:40.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.5.0","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.5.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.5.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.5.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.5.0/manifests"},{"name":"v0.4.0","sha":"3bfaa46a4a4baa55b811b24321ce0103dba47854","kind":"tag","published_at":"2022-10-27T09:47:15.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.4.0","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.4.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.4.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.4.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.4.0/manifests"},{"name":"v0.3.0","sha":"774de5b7569e0f5de6c74e3fc092a99d6cff41fb","kind":"tag","published_at":"2022-10-24T17:36:43.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.3.0","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.3.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.3.0/manifests"},{"name":"v0.2.3","sha":"77a905f8c8a7826f2e4a9f62c17873a9c22c8eb6","kind":"tag","published_at":"2022-10-23T23:47:51.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.2.3","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.2.3","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.2.3","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.2.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.2.3/manifests"},{"name":"v0.2.2","sha":"829689e48dfab6005dfdd0ed36380bb5d405a973","kind":"tag","published_at":"2022-10-23T16:51:46.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.2.2","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.2.2","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.2.2","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.2.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.2.2/manifests"},{"name":"v0.2.1","sha":"c73b5fae1880fcb0f1cb8dc4e4cef660cdfe6efc","kind":"tag","published_at":"2022-10-23T10:56:05.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.2.1","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.2.1","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.2.1","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.2.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.2.1/manifests"},{"name":"v0.2.0","sha":"acfd8fd90a0e6968205c073b6786fed6d959087a","kind":"tag","published_at":"2022-10-22T23:11:44.000Z","download_url":"https://codeload.github.com/chanind/tensor-theorem-prover/tar.gz/v0.2.0","html_url":"https://github.com/chanind/tensor-theorem-prover/releases/tag/v0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"purl":"pkg:github/chanind/tensor-theorem-prover@v0.2.0","tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/tags/v0.2.0/manifests"}]},"repo_metadata_updated_at":"2025-08-20T16:27:22.980Z","dependent_packages_count":0,"downloads":218,"downloads_period":"last-month","dependent_repos_count":0,"rankings":{"downloads":8.25524727433401,"dependent_repos_count":30.61104109666564,"dependent_packages_count":6.633233862033089,"stargazers_count":23.317204617035493,"forks_count":30.49154493947922,"average":19.86165435790949},"purl":"pkg:pypi/tensor-theorem-prover","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/pypi/tensor-theorem-prover","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/pypi/tensor-theorem-prover","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/pypi/tensor-theorem-prover/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2025-07-18T18:19:35.284Z","issues_count":0,"pull_requests_count":6,"avg_time_to_close_issue":null,"avg_time_to_close_pull_request":2809.0,"issues_closed_count":0,"pull_requests_closed_count":6,"pull_request_authors_count":1,"issue_authors_count":0,"avg_comments_per_issue":null,"avg_comments_per_pull_request":0.6666666666666666,"merged_pull_requests_count":6,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/issues","maintainers":[{"login":"chanind","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/chanind"}],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/tensor-theorem-prover/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/tensor-theorem-prover/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/tensor-theorem-prover/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/tensor-theorem-prover/related_packages","maintainers":[{"uuid":"chanind","login":"chanind","name":null,"email":null,"url":null,"packages_count":12,"html_url":"https://pypi.org/user/chanind/","role":null,"created_at":"2022-12-07T12:40:55.386Z","updated_at":"2022-12-07T12:40:55.386Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers/chanind/packages"}],"registry":{"name":"pypi.org","url":"https://pypi.org","ecosystem":"pypi","default":true,"packages_count":725097,"maintainers_count":308361,"namespaces_count":0,"keywords_count":238006,"github":"pypi","metadata":{"funded_packages_count":50519},"icon_url":"https://github.com/pypi.png","created_at":"2022-04-04T15:19:23.364Z","updated_at":"2025-09-05T05:40:58.860Z","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"}}],"commits":{"id":692201,"full_name":"chanind/tensor-theorem-prover","default_branch":"main","committers":[{"name":"David Chanin","email":"chanindav@gmail.com","login":"chanind","count":89},{"name":"github-actions","email":"action@github.com","login":"actions-user","count":31},{"name":"github-actions","email":"github-actions@github.com","login":"invalid-email-address","count":1}],"total_commits":121,"total_committers":3,"total_bot_commits":0,"total_bot_committers":0,"mean_commits":40.333333333333336,"dds":0.2644628099173554,"past_year_committers":[],"past_year_total_commits":0,"past_year_total_committers":0,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":0.0,"past_year_dds":0.0,"last_synced_at":"2025-06-15T10:03:33.081Z","last_synced_commit":"269d0c19bba6606f46e16c5fd03b763bd75b95a2","created_at":"2023-03-09T11:27:32.626Z","updated_at":"2025-06-15T10:03:33.082Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-08-31T00:00:08.451Z","repositories_count":5479765,"commits_count":853310318,"contributors_count":31095240,"owners_count":906558,"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":"chanind/tensor-theorem-prover","html_url":"https://github.com/chanind/tensor-theorem-prover","last_synced_at":"2025-07-18T18:19:35.284Z","status":"error","issues_count":0,"pull_requests_count":6,"avg_time_to_close_issue":null,"avg_time_to_close_pull_request":2809.0,"issues_closed_count":0,"pull_requests_closed_count":6,"pull_request_authors_count":1,"issue_authors_count":0,"avg_comments_per_issue":null,"avg_comments_per_pull_request":0.6666666666666666,"merged_pull_requests_count":6,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":0,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"created_at":"2023-05-15T05:13:53.205Z","updated_at":"2025-07-18T18:19:35.284Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/chanind%2Ftensor-theorem-prover/issues","issue_labels_count":{},"pull_request_labels_count":{},"issue_author_associations_count":{},"pull_request_author_associations_count":{"OWNER":6},"issue_authors":{},"pull_request_authors":{"chanind":6},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-05T00:00:10.444Z","repositories_count":10098796,"issues_count":31459450,"pull_requests_count":97364286,"authors_count":10701971,"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":{},"past_year_pull_request_labels_count":{},"past_year_issue_author_associations_count":{},"past_year_pull_request_author_associations_count":{},"past_year_issue_authors":{},"past_year_pull_request_authors":{},"maintainers":[{"login":"chanind","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/chanind"}],"active_maintainers":[]},"events":{"total":{"WatchEvent":4},"last_year":{"WatchEvent":4}},"keywords":["first-order-logic","logic","reasoning","symbolic-logic","theorem-proving"],"dependencies":[{"ecosystem":"actions","filepath":".github/workflows/ci.yaml","sha":null,"kind":"manifest","created_at":"2023-02-19T20:01:29.037Z","updated_at":"2023-02-19T20:01:29.037Z","repository_link":"https://github.com/chanind/tensor-theorem-prover/blob/main/.github/workflows/ci.yaml","dependencies":[{"id":7796328368,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7796328369,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7796328370,"package_name":"snok/install-poetry","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7796328371,"package_name":"codecov/codecov-action","ecosystem":"actions","requirements":"v2","direct":true,"kind":"composite","optional":false},{"id":7796328372,"package_name":"dtolnay/rust-toolchain","ecosystem":"actions","requirements":"stable","direct":true,"kind":"composite","optional":false},{"id":7796328373,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":7796328374,"package_name":"PyO3/maturin-action","ecosystem":"actions","requirements":"v1","direct":true,"kind":"composite","optional":false},{"id":7796328375,"package_name":"actions/upload-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7796328376,"package_name":"addnab/docker-run-action","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7796328377,"package_name":"relekang/python-semantic-release","ecosystem":"actions","requirements":"v7.33.1","direct":true,"kind":"composite","optional":false},{"id":7796328378,"package_name":"actions/download-artifact","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"pypi","filepath":"pyproject.toml","sha":null,"kind":"manifest","created_at":"2022-10-22T23:30:20.735Z","updated_at":"2022-10-22T23:30:20.735Z","repository_link":"https://github.com/chanind/tensor-theorem-prover/blob/main/pyproject.toml","dependencies":[{"id":6472963591,"package_name":"python","ecosystem":"pypi","requirements":"\u003e=3.7, \u003c4.0","direct":true,"kind":"runtime","optional":false},{"id":6472963592,"package_name":"numpy","ecosystem":"pypi","requirements":"^1.20.0","direct":true,"kind":"runtime","optional":false},{"id":6472963593,"package_name":"pytest","ecosystem":"pypi","requirements":"^7.1.3","direct":true,"kind":"develop","optional":false},{"id":6472963594,"package_name":"black","ecosystem":"pypi","requirements":"^22.10.0","direct":true,"kind":"develop","optional":false},{"id":6472963595,"package_name":"flake8","ecosystem":"pypi","requirements":"^5.0.4","direct":true,"kind":"develop","optional":false},{"id":6472963596,"package_name":"mypy","ecosystem":"pypi","requirements":"^0.982","direct":true,"kind":"develop","optional":false},{"id":6472963597,"package_name":"syrupy","ecosystem":"pypi","requirements":"^3.0.2","direct":true,"kind":"develop","optional":false},{"id":6472963598,"package_name":"pytest-cov","ecosystem":"pypi","requirements":"^4.0.0","direct":true,"kind":"develop","optional":false}]},{"ecosystem":"cargo","filepath":"Cargo.toml","sha":null,"kind":"manifest","created_at":"2024-02-10T12:47:04.680Z","updated_at":"2024-02-10T12:47:04.680Z","repository_link":"https://github.com/chanind/tensor-theorem-prover/blob/main/Cargo.toml","dependencies":[]}],"score":8.97259066827261,"created_at":"2025-09-04T15:51:23.469Z","updated_at":"2025-10-07T08:18:59.695Z","avatar_url":"https://github.com/chanind.png","language":"Rust","category":null,"sub_category":null,"monthly_downloads":218,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":["spacy-extension","transformers","huggingface","huggingface-transformers","abstract-meaning-representation","amr","framenet","semantic-parsing","t5","jax"],"project_url":"https://science.ecosyste.ms/api/v1/projects/47906","html_url":"https://science.ecosyste.ms/projects/47906","bibtex_url":"https://science.ecosyste.ms/projects/47906/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/47906/export.apalike"}