{"payload":{"header_redesign_enabled":false,"results":[{"id":"500048454","archived":false,"color":"#315665","followers":5,"has_funding_file":false,"hl_name":"binary-translation/risotto-proofs","hl_trunc_description":"Proofs for the paper \"Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures\"","language":"Agda","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":500048454,"name":"risotto-proofs","owner_id":110092483,"owner_login":"binary-translation","updated_at":"2022-09-13T17:27:14.890Z","has_issues":true}},"sponsorable":false,"topics":["proofs","binary-translation"],"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":71,"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%253Abinary-translation%252Frisotto-proofs%2B%2Blanguage%253AAgda","metadata":null,"csrf_tokens":{"/binary-translation/risotto-proofs/star":{"post":"nR1RxFzeaWhNFtQMsH0gTdU09F0nH2bGBL49fQK6M2NYXIt_zpm5j1n9rKoUQRZSX43d-jEgyJ58LiDARMWBMA"},"/binary-translation/risotto-proofs/unstar":{"post":"skkyENc2JjsQ3SCENDYkx-AOYfmutfuMUx3wQmfJrzArsvZRPsj6g6gYhE7Fmd912ozU1WLndQvO4hFDLsBTcA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"FQzYm9axvJHe_PuIQJiEaggig-aTiSL0_XTqkJqw6PuBC5VFTBFBlx3OorUSdJedxYaigHZfNvyY720hpRFnHA"}}},"title":"Repository search results"}