{"payload":{"header_redesign_enabled":false,"results":[{"id":"679026087","archived":false,"color":"#dea584","followers":11,"has_funding_file":false,"hl_name":"digama0/lean-rs","hl_trunc_description":"High level Lean 4 FFI for Rust","language":"Rust","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":679026087,"name":"lean-rs","owner_id":868588,"owner_login":"digama0","updated_at":"2024-03-16T04:37:09.312Z","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":101,"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%253Adigama0%252Flean-rs%2B%2Blanguage%253ARust","metadata":null,"csrf_tokens":{"/digama0/lean-rs/star":{"post":"MRZ3TcE-dYsxSpK9Wk1zpRAxQzxw6ELNUM4V37p3As0gNKLl-BmVZw8Px0SAOgt3J-g6qBgDhxk1A1L0MYlQGA"},"/digama0/lean-rs/unstar":{"post":"42OolNT5-zsGYWQ8tAyABxse652_8WAcaK8D7_8hck8uNZ4KlfLlb1i1CZ5bMTVRnpHz_aNPn75awhsIKnEgXg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"b--CUaLOIUeLIc6fg6H3sPpugWI2AQ8jqokLYs-v3h36oVzXYr_XSak87caxUUGSosG2afYQofxbuasyEGMwag"}}},"title":"Repository search results"}