{"payload":{"header_redesign_enabled":false,"results":[{"id":"472344744","archived":false,"color":"#ef7a08","followers":6,"has_funding_file":false,"hl_name":"forked-from-1kasper/bravo","hl_trunc_description":"Castle Bravo: Experimental HoTT Implementation","language":"OCaml","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":472344744,"name":"bravo","owner_id":31402514,"owner_login":"forked-from-1kasper","updated_at":"2023-06-16T10:21:11.940Z","has_issues":true}},"sponsorable":false,"topics":["dependent-types","proof-assistant","hott","theorem-prover","type-checker","mltt","homotopy-type-theory","univalent-foundations","hott-uf"],"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":53,"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%253Aforked-from-1kasper%252Fbravo%2B%2Blanguage%253AOCaml","metadata":null,"csrf_tokens":{"/forked-from-1kasper/bravo/star":{"post":"sxEiQ2rIQWMeMoYBkGevqtT8QIQVz_04gNMxHRklmIiFgcKgSip4A2Z-jVbBINORRpGTW85QDRyBPwaYVywMBA"},"/forked-from-1kasper/bravo/unstar":{"post":"iAqjVbj2jtSrERYgaEX35qoM81Jbstddr7DJBk-Eq5UiDFSL6lzT-PTsrrKheqAE2SfIaO-8o-I2wAlQp-I1AQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"ujFS6Zqpxx3Omn_ilKfSDBD4l5SSPJzui2M-FYW5dLtdzF0WIoHLKAU9DQN0yzH9Dicq2b38M1KnssJbpHBHiA"}}},"title":"Repository search results"}