{"payload":{"header_redesign_enabled":false,"results":[{"id":"203143985","archived":false,"color":"#ef7a08","followers":1,"has_funding_file":false,"hl_name":"SukritiGupta/Logic","hl_trunc_description":"Logic for Computer Science course projects","language":"OCaml","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":203143985,"name":"Logic","owner_id":37045990,"owner_login":"SukritiGupta","updated_at":"2019-12-13T15:52:25.568Z","has_issues":true}},"sponsorable":false,"topics":["logic","first-order-logic","propositional-logic","natural-deduction","analytic-tableaux"],"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":77,"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%253ASukritiGupta%252FLogic%2B%2Blanguage%253AOCaml","metadata":null,"csrf_tokens":{"/SukritiGupta/Logic/star":{"post":"ws28etGunCGYmjf5kt6JE2cTdTWo9KxgMCpPtDQuvH8nt5ypTtW_Poy3BbMY5OFWKaUE7sgH-O6JKoD2e4ADDQ"},"/SukritiGupta/Logic/unstar":{"post":"MT8rkubjTiG9Plcw-QVZDW16rgj0o6aMQC_5hho8Wzb1ekvCemzuB5tFe50vWSjZ5clgLERpoQLaEmdRtoUrLw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"VXgI2nTDaj6doJlQYU2AvPm7nLw_2ElCMEIAcX-ckTj3An9XPJtp2rA-Y2cVix-Q4EC4RCtQJV-OsLSXUMBPSw"}}},"title":"Repository search results"}