{"payload":{"header_redesign_enabled":false,"results":[{"id":"94225519","archived":false,"color":"#FEFE00","followers":15,"has_funding_file":false,"hl_name":"wimmers/munta","hl_trunc_description":"Fully verified model checker for realtime systems","language":"Isabelle","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":94225519,"name":"munta","owner_id":1756973,"owner_login":"wimmers","updated_at":"2022-09-02T10:14:36.366Z","has_issues":true}},"sponsorable":false,"topics":["verification","isabelle","model-checker","timed-automata"],"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":92,"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%253Awimmers%252Fmunta%2B%2Blanguage%253AIsabelle","metadata":null,"csrf_tokens":{"/wimmers/munta/star":{"post":"92HDXsMbKASw4iReoGa5crlLT_V8pI5tfeDJmX59ZqfhdDmmqx3SGUCvEQ11TPUtwjAtSzkwhwD2YolAb5HYrA"},"/wimmers/munta/unstar":{"post":"YN8Tl9cMFnOToyVc-rVPD7HaVC7xoxUhbRPDx0RJ4YP4w5Xw31-02nqWid2gp-3HVUmmj7k6HFnZxVwkS2gqUg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"NSB89XVgd0eA2mvLQ6QoMCYD_sH64q-dZ0BfHgGGKNekxRpJj3uJiUUHC1ulu8XDWH3LCNbOkaaUg8v2mo_MzQ"}}},"title":"Repository search results"}