{"payload":{"header_redesign_enabled":false,"results":[{"id":"12756158","archived":false,"color":"#315665","followers":2,"has_funding_file":false,"hl_name":"piyush-kurur/sample-code","hl_trunc_description":"This repository contains a collection of sample programms in various languages mainly to serve as illustrations","language":"Agda","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":12756158,"name":"sample-code","owner_id":693288,"owner_login":"piyush-kurur","updated_at":"2017-06-13T12:35:16.660Z","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":65,"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%253Apiyush-kurur%252Fsample-code%2B%2Blanguage%253AAgda","metadata":null,"csrf_tokens":{"/piyush-kurur/sample-code/star":{"post":"QKq1KBpshM0SV6uIS5n-3DTcfEDHwFC8ZTWhqLLcXClXPkbua0t7mfWfrQAbZSnUQ0nHoi3KzK5Fa4WEMjsWKA"},"/piyush-kurur/sample-code/unstar":{"post":"-iqPE6-51plRRyqtd5vc1F014fE_zOGJrjV6QrBO-WpQ8e3HqSJ1rPh_Dk9jupZCYAB8GM_agnp8qNYvWRNKcA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"-F32cQ9vUGCxcBHaA3jsmgyTA3DukWtRSs0RDVY1T5N0CkNWbq-yD7sjaSXNSlBVTo0JTzsPEN7-3ZYonvFLfA"}}},"title":"Repository search results"}