{"payload":{"header_redesign_enabled":false,"results":[{"id":"795349","archived":false,"color":"#5e5086","followers":5,"has_funding_file":false,"hl_name":"michaelficarra/chase","hl_trunc_description":"an implementation of the not-so-famous chase algorithm, plus a first order logic parser","language":"Haskell","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":795349,"name":"chase","owner_id":218840,"owner_login":"michaelficarra","updated_at":"2010-11-29T05:31:34.000Z","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":99,"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%253Amichaelficarra%252Fchase%2B%2Blanguage%253AHaskell","metadata":null,"csrf_tokens":{"/michaelficarra/chase/star":{"post":"fh4vsJUgLxU6L1ZnLoiQrFHfgbJnScuGLHgzxQjNCF86kWMQzAk_vwaRzTtSCbxuFmdFZJqSjuKlzxg9WmvGJA"},"/michaelficarra/chase/unstar":{"post":"Xi5tZfyoMoLPoQfVN_LwLit6ZNKoZI6rWrhMErk4EkCctjCVswPt3xBP52tWbUuEFU-TqkY9TFINFDA-M4_QhA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"-zz9528g8HdLir5eyhD35b8RRTmwZYLeZdTeX0D1F5TwJLvTLDaGnDM2ODt3JLmJOh-0PU3tAG6VPTs16kgaFg"}}},"title":"Repository search results"}