{"payload":{"header_redesign_enabled":false,"results":[{"id":"1096254","archived":false,"color":"#3572A5","followers":3,"has_funding_file":false,"hl_name":"egrim/pyChess","hl_trunc_description":"Implementation of Microsoft's CHESS model checker for the python language","language":"Python","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":1096254,"name":"pyChess","owner_id":401011,"owner_login":"egrim","updated_at":"2010-11-30T16:47:46.000Z","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":86,"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%253Aegrim%252FpyChess%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/egrim/pyChess/star":{"post":"YBzI1QVNrh20WhPX9kHgw1kKkKrQ5jXV66TM70nalbaJe0qIs-CFehw5SgrnmqA9NtiVm2jUmDt1mr1I2Ktu3Q"},"/egrim/pyChess/unstar":{"post":"J-VWJ6p9f3FR56dz6gYCB7FJMQftcArh9SXD0J7_LleyCA9rItspluEJ5W-8ZwakUUeTd5QV2gNomplyHqSTjg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"AchrIlee8KkC7hgECWZU1wzk3D1bczOTtMTCOs5xaiR8brbvoTfGDdMfrghIeLofvVgJG0IIANtO8HTge--WDg"}}},"title":"Repository search results"}