{"payload":{"header_redesign_enabled":false,"results":[{"id":"19531671","archived":false,"color":"#3572A5","followers":83,"has_funding_file":false,"hl_name":"kste/cryptosmt","hl_trunc_description":"An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.","language":"Python","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":19531671,"name":"cryptosmt","owner_id":7244194,"owner_login":"kste","updated_at":"2023-09-08T13:16:54.415Z","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":53,"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%253Akste%252Fcryptosmt%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/kste/cryptosmt/star":{"post":"UDWLAX2u-tMTV8qny5GDsyjBd_9TCixVE7NXTplWkomhjwCafCeys9jPPQiPL9cr-4S0VFjwPDuybyNIJw2w5g"},"/kste/cryptosmt/unstar":{"post":"10OCd3CDMngvtLxs_3Px1ZRp5lR1-u1nqe9rArOXZr9Vf61fzOtnSl95XYkB2dkvQlciMlSzDWOSwoQkbFLN3A"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"txgGM1vU8dmEJTBm5vWIG9n6Tf798FOYF0Z_AcDawbPRr_MfK-Yob00Q57K_GGE25t9lYOA41hWC4SVy3GOKNg"}}},"title":"Repository search results"}