{"payload":{"header_redesign_enabled":false,"results":[{"id":"192623934","archived":false,"color":"#5e5086","followers":5,"has_funding_file":false,"hl_name":"spidermoy/OnTheFly_ModelChecking","hl_trunc_description":"Efficient On-the-Fly Model Checking for LTL and CTL★. ","language":"Haskell","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":192623934,"name":"OnTheFly_ModelChecking","owner_id":42991834,"owner_login":"spidermoy","updated_at":"2019-12-21T22:21:44.623Z","has_issues":true}},"sponsorable":false,"topics":["computer-science","haskell","logic","ltl","model-checking","formal-methods","ctl","formal-verification","computational-logic","linear-temporal-logic","computation-tree-logic","haskell-programming","ctl-formulas"],"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":60,"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%253Aspidermoy%252FOnTheFly_ModelChecking%2B%2Blanguage%253AHaskell","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/spidermoy/OnTheFly_ModelChecking/star":{"post":"q1j7ETwXeVhEsaTJ9gCfLxZJZGf2_WrEIvd_rSKon1BGw4VuNFZJB392AQUZBuw4BFUIolXkwDlKOkjR9IN7ag"},"/spidermoy/OnTheFly_ModelChecking/unstar":{"post":"KfJu0WrBvpWFD8KFS6IejTonjVPg-NwgG_m8nH7QmuIwwmbis_BsFJgYHRuhtAe1hYyAY20HuPUwwlP3vJ1Afw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"_8gY8bk8BUmNsIWeRpDh3wx_U252RvV80AANjkv17F3CjZS8ppVdc2ZYx9uclgkav3NLVVIEpqFPcADRBKDgDg"}}},"title":"Repository search results"}