{"payload":{"header_redesign_enabled":false,"results":[{"id":"185661228","archived":false,"color":"#315665","followers":0,"has_funding_file":false,"hl_name":"abpwrs/cs-3820-sp19","hl_trunc_description":"Programming Language Concepts","language":"Agda","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":185661228,"name":"cs-3820-sp19","owner_id":40620013,"owner_login":"abpwrs","updated_at":"2019-05-08T23:18:21.171Z","has_issues":true}},"sponsorable":false,"topics":["haskell","functional-programming","agda","programming-language-concepts","programming-language-development"],"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":87,"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%253Aabpwrs%252Fcs-3820-sp19%2B%2Blanguage%253AAgda","metadata":null,"csrf_tokens":{"/abpwrs/cs-3820-sp19/star":{"post":"I3X38nB5gh7_nzRcTZPA-WubVgO7NsVQtb07pouNcNcYTgyP33pTdVuL4E11rG8ctQ0-rmF6Pwya4xz8qxYCRw"},"/abpwrs/cs-3820-sp19/unstar":{"post":"iOHCFRBOnpPflP3jfrgdW89IX0_o86bylSa_YVSlCcvhy7N5jL49mNjxxqljuKjDHxdSgIvOGumY9TTj_iqmaA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"MPVbXlzoo830SULQ5kdPQRr2PdgqOuW_p21PRZg3T6Ay6xQ0rFzt2Bdcfmx-XE_Xf7gqn-ed1pLr1tqYRoZynA"}}},"title":"Repository search results"}