{"payload":{"header_redesign_enabled":false,"results":[{"id":"15641788","archived":false,"color":"#b30000","followers":57,"has_funding_file":false,"hl_name":"SimonJF/IdrisNet2","hl_trunc_description":"A proper network library for Idris, now that I know what I'm doing.","language":"Idris","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":15641788,"name":"IdrisNet2","owner_id":4552508,"owner_login":"SimonJF","updated_at":"2016-09-27T21:13:39.768Z","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":74,"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%253ASimonJF%252FIdrisNet2%2B%2Blanguage%253AIdris","metadata":null,"csrf_tokens":{"/SimonJF/IdrisNet2/star":{"post":"iQOLrxo5O_bNH_AyVWwni9GUu-ASAKJuPWHEkCrpJwmWIN2FfVoC9XFRXhk00nCMpCrRxceCgu0wP0-4bX_V6g"},"/SimonJF/IdrisNet2/unstar":{"post":"TCSCCsjY7Yok1C8PWeEC6hD26r1oqa8YYW0euC0erTUOIafW51FzRD4tpSLFH45AEkvzk6GmoKCkBezorrWXAA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"fpo0YgBGWchqYanERgQteUzmS2iWLRKmM5q09V1lbzsiC8W2IoC4KD2ETNX0nXvOMNTSGvhbYbOfcsK0wRHKSA"}}},"title":"Repository search results"}