{"payload":{"header_redesign_enabled":false,"results":[{"id":"158556766","archived":false,"color":null,"followers":5,"has_funding_file":false,"hl_name":"digama0/vc0","hl_trunc_description":"C0 specification and verified compiler in Lean","language":"Lean","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":158556766,"name":"vc0","owner_id":868588,"owner_login":"digama0","updated_at":"2020-06-17T09:26:28.310Z","has_issues":true}},"sponsorable":false,"topics":[],"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":68,"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%253Adigama0%252Fvc0%2B%2Blanguage%253ALean","metadata":null,"csrf_tokens":{"/digama0/vc0/star":{"post":"ARwU-icbpNELzQOGKRV6NtGU2RTI2jUsMEOJ-1sEmyFD2Tn6Gxcufbvfp_KIPt7JNtzUnQzSBrYK5lRDLQ_NTg"},"/digama0/vc0/unstar":{"post":"d84GhnBWNKvzy5591Pg5SzmDpYQW6mGZHgGZUyk_U_f2bw5Vj8zTxuQX1X5A4devvNrhAoStVPknaIXJGuw2Rg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"N7PBlZ2q1HwLQhDTv_br21TgOPqTuQpxcYgNJN3C5gD3x4pOYVdjUL53XnRRwvxyeVvVhpOB_h0VKubuuv6Acw"}}},"title":"Repository search results"}