{"payload":{"header_redesign_enabled":false,"results":[{"id":"512698207","archived":false,"color":"#d0b68c","followers":1,"has_funding_file":false,"hl_name":"Aurele-Barriere/JIThm","hl_trunc_description":"A Coq Formally Verified JIT, combining features of both FM-JIT and CoreJIT","language":"Coq","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":512698207,"name":"JIThm","owner_id":14137291,"owner_login":"Aurele-Barriere","updated_at":"2022-11-17T14:12:10.946Z","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":81,"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%253AAurele-Barriere%252FJIThm%2B%2Blanguage%253ACoq","metadata":null,"csrf_tokens":{"/Aurele-Barriere/JIThm/star":{"post":"R-K9PiB-vWicgh8uDGMQlKAKdG4_Ifz7w1QUB2_N8-pblYmNjaWieYUaDlTeuMGd1kqN0HpS0gyUtm_cRUjeYQ"},"/Aurele-Barriere/JIThm/unstar":{"post":"JxEHRaWuOWDd7OmAff8E5QTIL4m01dqRxUXTj-07P99OYDpjZXujs4068kvqhy_t8HWo44brNTqxMJtWCbHZKg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"vr3Cn2jhMO8-6aWDuNWjsHq5qizukORX1MMsCMWBfFBrOF86f_2t4TxFXv8VuJaXRw0f-MxCPe6kNt0Rxpc4jg"}}},"title":"Repository search results"}