{"payload":{"header_redesign_enabled":false,"results":[{"id":"206783176","archived":false,"color":"#3572A5","followers":0,"has_funding_file":false,"hl_name":"clemevi/cseqGui","hl_trunc_description":"CseqGUI is a User Friendly Python Interface for Lazycseq tool with Counterexample Visualization. ","language":"Python","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":206783176,"name":"cseqGui","owner_id":26144921,"owner_login":"clemevi","updated_at":"2019-09-06T11:56:59.079Z","has_issues":true}},"sponsorable":false,"topics":["gui","sequentialization","cseq","verismart","lazy-cseq","lazy-sequentialization","model-c"],"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":90,"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%253Aclemevi%252FcseqGui%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/clemevi/cseqGui/star":{"post":"9APUUdTPO9i_EHKAd1y72pV6acy1xt-aRdMg6RqXshND4jmOUdsTHgVb_rkX5-fZotprD5yTI_nSL3Kh3atJVQ"},"/clemevi/cseqGui/unstar":{"post":"JGw9OpoLXMlyNrhKQ1PF97urjbm9JD0q3f2ydfVE3cvP-xGng0fPilN6BTF6EuRfLPyQXyO9O7ss_Qt-pJVe1A"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"YD4KnZnSE5J5j2GoEkvHeXw0RQ5HS_ynTyIGtMH3VIaYsb5Om63pGLQm0U9il2rCGMTIXL64vfPX65b56v880Q"}}},"title":"Repository search results"}