{"payload":{"header_redesign_enabled":false,"results":[{"id":"346904643","archived":false,"color":"#dea584","followers":28,"has_funding_file":false,"hl_name":"qed-solver/prover","hl_trunc_description":"A SQL query equivalence prover in Rust aiming for high performance and wide SQL feature coverage.","language":"Rust","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":346904643,"name":"prover","owner_id":151416943,"owner_login":"qed-solver","updated_at":"2024-06-02T00:33:41.198Z","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":108,"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%253Aqed-solver%252Fprover%2B%2Blanguage%253ARust","metadata":null,"csrf_tokens":{"/qed-solver/prover/star":{"post":"Q5UhHU4eAR0DdzenIjjqI4Etm1V6oKxSV3ljUDbhciukkgTTt2BhcEsUcCd6v3qMXFT9ZkA35r_b3gXus1fI1Q"},"/qed-solver/prover/unstar":{"post":"HzCI43GMPwypGIwkyn0AGzbUYkWV0sibnZ3u3x19aHyRJiWrjAVuE6w2diJgg3kVvLuHuWE8LpscqldPp4we2Q"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"813qEvNL-9qQSmfPCUNt29nv8IswL8NrLftSa1jFFP0GBroJ7I9TpQGXfEYaXHa-KOinKZmzaKEU7fOS6pmxaw"}}},"title":"Repository search results"}