{"id":13780800,"url":"https://gitlab.com/krr/IDP-Z3","last_synced_at":"2025-05-11T14:33:57.383Z","repository":{"id":49965351,"uuid":"11137269","full_name":"krr/IDP-Z3","owner":"krr","description":"IDP-Z3 is a software collection implementing the Knowledge Base paradigm using the FO(.) language.","archived":false,"fork":false,"pushed_at":null,"size":null,"stargazers_count":13,"open_issues_count":78,"forks_count":13,"subscribers_count":null,"default_branch":"main","last_synced_at":"2024-10-18T15:30:22.188Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":null,"metadata":{},"created_at":"2019-03-04T13:35:06.850Z","updated_at":"2024-10-18T13:13:52.177Z","dependencies_parsed_at":"2022-08-25T08:40:42.022Z","dependency_job_id":null,"html_url":"https://gitlab.com/krr/IDP-Z3","commit_stats":null,"previous_names":[],"tags_count":31,"template":null,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/gitlab.com/repositories/krr%2FIDP-Z3","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/gitlab.com/repositories/krr%2FIDP-Z3/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/gitlab.com/repositories/krr%2FIDP-Z3/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/gitlab.com/repositories/krr%2FIDP-Z3/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/gitlab.com/owners/krr","download_url":"https://gitlab.com/krr/IDP-Z3/-/archive/main/IDP-Z3-main.zip","host":{"name":"gitlab.com","url":"https://gitlab.com","kind":"gitlab","repositories_count":4515896,"owners_count":6539,"icon_url":"https://github.com/gitlab.png","version":null,"created_at":"2022-05-30T11:31:42.605Z","updated_at":"2024-07-18T11:24:13.055Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/gitlab.com","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/gitlab.com/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/gitlab.com/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/gitlab.com/owners"}},"keywords":[],"created_at":"2024-08-03T18:01:19.920Z","updated_at":"2024-11-17T16:30:27.708Z","avatar_url":null,"language":null,"funding_links":[],"categories":["Projects Using PyHAT (or similar) 🏗️"],"sub_categories":["Tools \u003ca name = \"tools\"\u003e\u003c/a\u003e"],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/gitlab.com%2Fkrr%2FIDP-Z3","html_url":"https://awesome.ecosyste.ms/projects/gitlab.com%2Fkrr%2FIDP-Z3","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/gitlab.com%2Fkrr%2FIDP-Z3/lists"}