{"payload":{"header_redesign_enabled":false,"results":[{"id":"283820350","archived":false,"color":"#d0b68c","followers":1,"has_funding_file":false,"hl_name":"flamingo-lang/flamingo","hl_trunc_description":"Logic programming reborn for the web.","language":"Coq","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":283820350,"name":"flamingo","owner_id":64020251,"owner_login":"flamingo-lang","updated_at":"2023-04-21T06:11:47.754Z","has_issues":true}},"sponsorable":false,"topics":["datalog","formal-methods","logic-programming","action-language"],"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":67,"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%253Aflamingo-lang%252Fflamingo%2B%2Blanguage%253ACoq","metadata":null,"csrf_tokens":{"/flamingo-lang/flamingo/star":{"post":"JtxFFHTqQHGhGanfnnvST7Rlghri_tg3MaixWSwiruLtD4o2TM4iUOVV1DDaQE0ho6j-ti0IKxu6yWoi2o8wMg"},"/flamingo-lang/flamingo/unstar":{"post":"LywpsVOKFYWFs_84xQlFMLpvxlivbZP-hneVADhPEcbelOcYGrPbnA1t_VTiOOrLDXnu-Z50J1Iy-Ep7OJp5uA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"ADkHJ7pPf0EQro-ZJ3-mND9H2Q5WuGi_6QC_yLvHqVUNbHKtEsVdzbVvihbbO-Av6sTOxZRRwwNnNkZNa2eo3Q"}}},"title":"Repository search results"}