{"payload":{"header_redesign_enabled":false,"results":[{"id":"212641065","archived":false,"color":"#d0b68c","followers":3,"has_funding_file":false,"hl_name":"SkySkimmer/ZF","hl_trunc_description":"Playing around with axiomatic set theory in Coq","language":"Coq","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":212641065,"name":"ZF","owner_id":2461932,"owner_login":"SkySkimmer","updated_at":"2019-10-03T17:48:51.561Z","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":50,"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%253ASkySkimmer%252FZF%2B%2Blanguage%253ACoq","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/SkySkimmer/ZF/star":{"post":"zmRVgzpJ9KmUnJPjCfEzB62wtOx15aYVnzY1QSowuRpaxzZDMtIIb-H_3M4LW7FSrRHaU9zW6P1CQFCNzyUJKg"},"/SkySkimmer/ZF/unstar":{"post":"RdPST3yvn2rqocniwUNfLbefjSEUpi4Q0U4r17m8Iul8PNQ1DIzQULYAzj8Dbtjp5y93urTpFl0n0UXkmNyAMA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"iVxfTF9mzx6AhN8wDOLWpEsk0IZ1G2NbJKpLvSWuQaxJCcdrqTJS9P3PlVrzxtACUGBYC0NoyZqT2GB42md0yQ"}}},"title":"Repository search results"}