{"payload":{"header_redesign_enabled":false,"results":[{"id":"53701575","archived":false,"color":"#315665","followers":1,"has_funding_file":false,"hl_name":"sudonatalie/VerifiedCompiler","hl_trunc_description":"Extending a toy compiler written in Agda... by Proving It Correct!","language":"Agda","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":53701575,"name":"VerifiedCompiler","owner_id":1953083,"owner_login":"sudonatalie","updated_at":"2016-05-04T18:53:54.854Z","has_issues":true}},"sponsorable":false,"topics":["verification","toy-compiler","literate-programming","agda"],"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":69,"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%253Asudonatalie%252FVerifiedCompiler%2B%2Blanguage%253AAgda","metadata":null,"csrf_tokens":{"/sudonatalie/VerifiedCompiler/star":{"post":"ztW1kzyFrdnzDQFL1qob6QUmUEUp6o8pldR2XUFxu4cfBKHKYoFN5jfF4FaPSt6zNPkjMEEYmYex9SaPZhihJg"},"/sudonatalie/VerifiedCompiler/unstar":{"post":"3bxW8EALibrPAPsJ2WuYWyDXlMTTLNuU163gCfGQMBIlUbD0JzQmvvNh8DU_ruxBzqViKTWXNIk07DtVCDY__g"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"ebVqCyG_02QItp7kBUBV2x11af0z7NEkLOtwBsNeG3wz0itnkc_KvcxaTk_-xTN9PZghc4CQ8_vcFx8dclYWXA"}}},"title":"Repository search results"}