{"payload":{"header_redesign_enabled":false,"results":[{"id":"135191345","archived":false,"color":"#555555","followers":2,"has_funding_file":false,"hl_name":"eltonvs/uno-b","hl_trunc_description":"A formally specified UNO game using B-Method","language":"C","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":135191345,"name":"uno-b","owner_id":8386137,"owner_login":"eltonvs","updated_at":"2018-06-19T06:44:42.567Z","has_issues":true}},"sponsorable":false,"topics":["formal-methods","formal-specification","b-method"],"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%253Aeltonvs%252Funo-b%2B%2Blanguage%253AC","metadata":null,"csrf_tokens":{"/eltonvs/uno-b/star":{"post":"lpJDl5IOiNMyhYAqv9cN50i2FKNvyi_DvKRyRxwWZqcscUHZOwlQKJq-0O6EC_rSEuIdeO8sFiC8qBqd1fjfOg"},"/eltonvs/uno-b/unstar":{"post":"HVYqdNu_-Fya2RD71i1Uu6bbd4sfrN0ht5bPNt2I5wpUrJicJjJbR3rtfaS8YX9oMKbVlSRYgSimf1geg_wGQQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"Ig8UHQ2YAqFpweM6MARuh4iocZyAba3muY4Q--osPDQX_SzDbEcMoExX8C5DkaRkDCdvFtNVoHo_ormnAlFlQg"}}},"title":"Repository search results"}