{"payload":{"header_redesign_enabled":false,"results":[{"id":"23931292","archived":false,"color":"#315665","followers":6,"has_funding_file":false,"hl_name":"lives-group/time-complexity-verification","hl_trunc_description":"Formal verification of time complexity of some algorithms in Agda","language":"Agda","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":23931292,"name":"time-complexity-verification","owner_id":7737589,"owner_login":"lives-group","updated_at":"2014-09-11T18:59:07.685Z","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":82,"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%253Alives-group%252Ftime-complexity-verification%2B%2Blanguage%253AAgda","metadata":null,"csrf_tokens":{"/lives-group/time-complexity-verification/star":{"post":"2b3FlAQIf11VkLAijnB0H148vfvFAFhVUC1SV02RyTkP3eakEPvxKAKpBOrbteaC7F-e_k70sx-i8OrMT3jDoA"},"/lives-group/time-complexity-verification/unstar":{"post":"jpz9n8WUmkqGL39LpRV6LE5851tRsDMpJ2ga-pyMdIjcKm89q7ao-ezPGhl2KN7xgWbwNqMzGi69Op_wQSbyqQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"GgH2vl6jB5sF8XekZqfqD9ytLCasviBmK0DOKjYHNpxoEhbBdLLQSgoFKYIjmgZZ5LtkaRjBJtohRZjnqecCWw"}}},"title":"Repository search results"}