{"payload":{"header_redesign_enabled":false,"results":[{"id":"37164878","archived":false,"color":"#5e5086","followers":604,"has_funding_file":false,"hl_name":"Copilot-Language/copilot","hl_trunc_description":"A stream-based runtime-verification framework for generating hard real-time C code.","language":"Haskell","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":37164878,"name":"copilot","owner_id":12819929,"owner_login":"Copilot-Language","updated_at":"2024-05-08T07:45:58.305Z","has_issues":true}},"sponsorable":false,"topics":["c","haskell","stream","embedded-systems","copilot","rv","runtime-verification"],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":79,"errors":[],"result_count":1,"facets":[],"protected_org_logins":[],"topics":null,"query_id":"","logged_in":false,"sign_up_path":"/signup?source=code_search_results","sign_in_path":"/login?return_to=https%3A%2F%2Fgithub.com%2Fsearch%3Fq%3Drepo%253ACopilot-Language%252Fcopilot%2B%2Blanguage%253AHaskell","metadata":null,"csrf_tokens":{"/Copilot-Language/copilot/star":{"post":"6IMJbNsl7ZNtknOzHgDUWCZkLdL4Ze2-5vwVsL6nLZBTw31fU3Gk2XWeg4iQRH1H371ldJITW030cyvDigRMxw"},"/Copilot-Language/copilot/unstar":{"post":"4uHQSR8ahEPvY0P-UPPmDwLoy1TWd8HEHpMLQNuByDlgAiY4rT-KqnZ62oCgaj-XrIb-qkwxb28UpEy6Q4u-0Q"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"69JWWDhXY1D79v0uHX5YwybKV7mO3hZs0Hpk4rugQ0P49IhGsLJOJu7pGOGAXovrT99J6EyQ7JGiTkXg5GLpBQ"}}},"title":"Repository search results"}