{"payload":{"header_redesign_enabled":false,"results":[{"id":"508577997","archived":false,"color":"#5e5086","followers":3,"has_funding_file":false,"hl_name":"egison/egison-prover","hl_trunc_description":"Proof writing language with Egison pattern matching","language":"Haskell","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":508577997,"name":"egison-prover","owner_id":6812884,"owner_login":"egison","updated_at":"2022-11-28T10:31:14.084Z","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":70,"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%253Aegison%252Fegison-prover%2B%2Blanguage%253AHaskell","metadata":null,"csrf_tokens":{"/egison/egison-prover/star":{"post":"hQDoLlvJ3ytD7wBqE0v72fOMsm4_2lzO7Nw2dK1jGMvIYecZA4w_j_G6LWXZa-XDyawi6rYcdqZxeB1pg7J3Ag"},"/egison/egison-prover/unstar":{"post":"khu_uiu8htyHoLCqbrX0Tf4XA_BuCTmd6WI8cj60QH0xJtKYpmCn7xzsU6yt65xZ7A_W5ImxlcuMfcXLW79vKw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"M0Fa2sLveyk5twioTA5YTlk-4v7ey-jwxaeNfdXa_76t3E342dHKmD_rIRAuczb1R3nRyu6RE1OguE-eWRa-vg"}}},"title":"Repository search results"}