{"payload":{"header_redesign_enabled":false,"results":[{"id":"72433922","archived":false,"color":"#ef7a08","followers":32,"has_funding_file":false,"hl_name":"imandra-ai/contracts","hl_trunc_description":"Imandra Contracts - Formal verification of smart contracts","language":"OCaml","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":72433922,"name":"contracts","owner_id":6567427,"owner_login":"imandra-ai","updated_at":"2016-11-01T10:26:52.659Z","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":69,"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%253Aimandra-ai%252Fcontracts%2B%2Blanguage%253AOCaml","metadata":null,"csrf_tokens":{"/imandra-ai/contracts/star":{"post":"H35gHiVow7U4NXfgDsMfOQ5QKZ9rQyvjDMwD3PyPATao6T6ztSyQ8ttSPYumN1Ppgdqg49o6SdCfi9legYKYBg"},"/imandra-ai/contracts/unstar":{"post":"wFjvaqQvM7czTYFGpPLn86Eh1w8GFu2gQD6oC-l_VO0bsBOfKSC19zFXsRhVCg1oLVWA45LKB5Mb9eKvS46Sig"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"AVIrVMCiOmZscwA2whhOhiL9wYq1Fo6dHAdzg3cN-2rbBg9proOVzd12yekp5SJe1PuHqJaR2MY3a7KIfVtdmg"}}},"title":"Repository search results"}