{"id":18066931,"url":"https://github.com/copilot-language/copilot","last_synced_at":"2025-05-15T04:05:32.039Z","repository":{"id":33518867,"uuid":"37164878","full_name":"Copilot-Language/copilot","owner":"Copilot-Language","description":"A stream-based runtime-verification framework for generating hard real-time C code.","archived":false,"fork":false,"pushed_at":"2025-05-08T14:29:40.000Z","size":4638,"stargazers_count":718,"open_issues_count":12,"forks_count":63,"subscribers_count":35,"default_branch":"master","last_synced_at":"2025-05-15T04:05:24.703Z","etag":null,"topics":["c","copilot","embedded-systems","haskell","runtime-verification","rv","stream"],"latest_commit_sha":null,"homepage":"http://copilot-language.github.io","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Copilot-Language.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2015-06-09T23:48:41.000Z","updated_at":"2025-05-12T16:37:51.000Z","dependencies_parsed_at":"2023-12-17T17:40:38.965Z","dependency_job_id":"17efce02-7ef6-4201-ab3e-19fe7d0b010e","html_url":"https://github.com/Copilot-Language/copilot","commit_stats":{"total_commits":2728,"total_committers":38,"mean_commits":71.78947368421052,"dds":0.6195014662756598,"last_synced_commit":"cdf807da281509e1a105ea77243b52137e0efa83"},"previous_names":[],"tags_count":38,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Copilot-Language%2Fcopilot","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Copilot-Language%2Fcopilot/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Copilot-Language%2Fcopilot/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Copilot-Language%2Fcopilot/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Copilot-Language","download_url":"https://codeload.github.com/Copilot-Language/copilot/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":254270645,"owners_count":22042859,"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":["c","copilot","embedded-systems","haskell","runtime-verification","rv","stream"],"created_at":"2024-10-31T07:05:53.875Z","updated_at":"2025-05-15T04:05:27.008Z","avatar_url":"https://github.com/Copilot-Language.png","language":"Haskell","readme":"","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcopilot-language%2Fcopilot","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcopilot-language%2Fcopilot","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcopilot-language%2Fcopilot/lists"}