{"payload":{"header_redesign_enabled":false,"results":[{"id":"74959621","archived":false,"color":"#ef7a08","followers":17,"has_funding_file":false,"hl_name":"VERIMAG-Polyhedra/VPL","hl_trunc_description":"Verimag Polyhedra Library","language":"OCaml","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":74959621,"name":"VPL","owner_id":24222329,"owner_login":"VERIMAG-Polyhedra","updated_at":"2020-06-23T12:49:03.129Z","has_issues":true}},"sponsorable":false,"topics":["coq-formalization","polyhedral-computations","polyhedra","abstract-domain"],"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":79,"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%253AVERIMAG-Polyhedra%252FVPL%2B%2Blanguage%253AOCaml","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/VERIMAG-Polyhedra/VPL/star":{"post":"opQAek0um2pejiFR-OGTiFRQ7ko5ogGiX8eqXz1yDvLM5VoiVxnl5tH2SvjAT62YTv4ib4QNqwRGO2On9iK0RA"},"/VERIMAG-Polyhedra/VPL/unstar":{"post":"jFfHgkXloeBQ1oYwiZyAs3t4z7U95pkKg6kt8FzCNyjeuLkOmXZo5cpVS_Qc1kUuaJng_hnf9O3zDQxfwbI5KQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"2tuz_ddeyfd81M44SXIymDmg9zN669fB62ithZA2Vd75Uub7LK48AN7Zt_MexYet7Vd0EcH64EujrF88ct7Biw"}}},"title":"Repository search results"}