{"payload":{"header_redesign_enabled":false,"results":[{"id":"298700163","archived":false,"color":"#3572A5","followers":2,"has_funding_file":false,"hl_name":"timothyb0912/checkrs","hl_trunc_description":"Tools for simulation-based model checking.","language":"Python","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":298700163,"name":"checkrs","owner_id":5533699,"owner_login":"timothyb0912","updated_at":"2020-11-20T16:10:39.209Z","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":51,"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%253Atimothyb0912%252Fcheckrs%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/timothyb0912/checkrs/star":{"post":"BwenxB5oJqiiVuPczmrMVtpbOLy5oakNe2-PllZi9cxDq3k5tk-idU2TxnqJMm_b-ShRNTxtBFqt7M0EBfhC-w"},"/timothyb0912/checkrs/unstar":{"post":"ALkA4545w1C809GEgapY9lfUFdMwPyk983ZuqmwbhHGFaT2mr7OZLe85u1ZShwitYinA7G8Za6m1Z3gaCgKsvQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"_cFGDufBghIeMWahDaKn5mZaJopwmRJHY3rCwdVb3bTW_qV2vdpLao80tx1A5H5VQp6wMItxZHRsdOCpwz8fcg"}}},"title":"Repository search results"}