{"id":20009785,"url":"https://github.com/plsyssec/veriwasm-verification","last_synced_at":"2025-05-04T19:35:55.343Z","repository":{"id":67409935,"uuid":"250323643","full_name":"PLSysSec/veriwasm-verification","owner":"PLSysSec","description":"Coq proof for Veriwasm","archived":false,"fork":false,"pushed_at":"2021-02-24T18:12:42.000Z","size":35660,"stargazers_count":9,"open_issues_count":0,"forks_count":0,"subscribers_count":16,"default_branch":"main","last_synced_at":"2025-04-08T11:38:03.614Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://veriwasm.programming.systems/","language":"Coq","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/PLSysSec.png","metadata":{},"created_at":"2020-03-26T17:18:08.000Z","updated_at":"2023-03-28T08:08:09.000Z","dependencies_parsed_at":null,"dependency_job_id":"5f23a13e-02da-4ffe-b2fb-9a3acca88fd1","html_url":"https://github.com/PLSysSec/veriwasm-verification","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PLSysSec%2Fveriwasm-verification","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PLSysSec%2Fveriwasm-verification/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PLSysSec%2Fveriwasm-verification/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/PLSysSec%2Fveriwasm-verification/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/PLSysSec","download_url":"https://codeload.github.com/PLSysSec/veriwasm-verification/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":252390730,"owners_count":21740374,"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":"2024-11-13T07:17:05.059Z","updated_at":"2025-05-04T19:35:55.332Z","avatar_url":"https://github.com/PLSysSec.png","language":"Coq","funding_links":[],"categories":[],"sub_categories":[],"readme":null,"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fplsyssec%2Fveriwasm-verification","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fplsyssec%2Fveriwasm-verification","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fplsyssec%2Fveriwasm-verification/lists"}