{"payload":{"header_redesign_enabled":false,"results":[{"id":"140790634","archived":false,"color":"#dea584","followers":3453,"has_funding_file":false,"hl_name":"HigherOrderCO/Kind","hl_trunc_description":"A next-gen functional language","language":"Rust","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":140790634,"name":"Kind","owner_id":92327702,"owner_login":"HigherOrderCO","updated_at":"2024-04-15T10:49:52.757Z","has_issues":true}},"sponsorable":false,"topics":["dependent-types","functional-programming","lambda-calculus","type-theory","theorem-prover","formality","moonad","proof-language","proof-languages"],"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%253AHigherOrderCO%252FKind%2B%2Blanguage%253ARust","metadata":null,"csrf_tokens":{"/HigherOrderCO/Kind/star":{"post":"FPf3LVkgzlcu5CSkEOzhdRSFqVo0fDR_5-rEnoSJGvk7eTQRn2QmQacU0KlqymwQURD6-G6ahMQa4dBoLA6QVQ"},"/HigherOrderCO/Kind/unstar":{"post":"rDxUVfoMU9GMcH34MrF8XPI26ZNMnU0Qz1StzaUUH_0DcrIIY2QfqcAPnEeKwhdRAvYVbqpJ1VGfZdZ4s4AKaw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"PWOCuWGmEpQ3hZhJZODl0V9_u5_KfrQ6E3i_yRRdpbj3k6BXiWBWzOaVGrH8maBid4Pf813AxyxnwXRnX97hEg"}}},"title":"Repository search results"}