{"payload":{"header_redesign_enabled":false,"results":[{"id":"118288611","archived":false,"color":"#3572A5","followers":0,"has_funding_file":false,"hl_name":"phlo/libmc","hl_trunc_description":"Python library implementing concepts presented in KV Model Checking.","language":"Python","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":118288611,"name":"libmc","owner_id":510266,"owner_login":"phlo","updated_at":"2018-03-17T19:03:10.366Z","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":63,"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%253Aphlo%252Flibmc%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/phlo/libmc/star":{"post":"MlKhSHLV7vO_Zs1pZL4TTNAArWuisyKfvpvOqSc5_MwhQjOL-Bez4feu-82RFJnHhkfPVi3Bs2bzbHatk0OLKA"},"/phlo/libmc/unstar":{"post":"AQCR5pND-1325gCpR5R9zmm9FtcSzqY-MtuuvW2n_TkVKikOnr7WGTFmW-br2W24Skxrd2YiC0Ctz-4YUFjkCQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"Q9HZ73uQgJb5nvNMAjA1szvNjR6fF3jSv1VkPStC2WFZ4KZqsnxHXrWZ2BmMz1Z5sqfRLoE6uol1zamALm8q-A"}}},"title":"Repository search results"}