{"id":26240062,"url":"https://github.com/hansbug/sismic-verify","last_synced_at":"2026-03-16T21:35:58.407Z","repository":{"id":281672147,"uuid":"887144455","full_name":"HansBug/sismic-verify","owner":"HansBug","description":"(WIP) Verify library for sismic automatas","archived":false,"fork":false,"pushed_at":"2024-11-12T08:43:01.000Z","size":5,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-03-10T15:03:01.406Z","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":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/HansBug.png","metadata":{},"created_at":"2024-11-12T08:43:01.000Z","updated_at":"2024-11-12T08:43:05.000Z","dependencies_parsed_at":null,"dependency_job_id":"f5f4e7a6-158b-41a9-9429-305d9771e69d","html_url":"https://github.com/HansBug/sismic-verify","commit_stats":null,"previous_names":["hansbug/sismic-verify"],"tags_count":null,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HansBug%2Fsismic-verify","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HansBug%2Fsismic-verify/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HansBug%2Fsismic-verify/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HansBug%2Fsismic-verify/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/HansBug","download_url":"https://codeload.github.com/HansBug/sismic-verify/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243358340,"owners_count":20278006,"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","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"}},"keywords":[],"created_at":"2025-03-13T07:18:47.963Z","updated_at":"2025-12-28T21:18:30.681Z","avatar_url":"https://github.com/HansBug.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhansbug%2Fsismic-verify","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhansbug%2Fsismic-verify","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhansbug%2Fsismic-verify/lists"}