{"payload":{"header_redesign_enabled":false,"results":[{"id":"297802347","archived":false,"color":"#5e5086","followers":134,"has_funding_file":false,"hl_name":"ranjitjhala/sprite-lang","hl_trunc_description":"An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.","language":"Haskell","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":297802347,"name":"sprite-lang","owner_id":1650232,"owner_login":"ranjitjhala","updated_at":"2024-03-09T07:08:26.807Z","has_issues":true}},"sponsorable":false,"topics":[],"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":69,"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%253Aranjitjhala%252Fsprite-lang%2B%2Blanguage%253AHaskell","metadata":null,"csrf_tokens":{"/ranjitjhala/sprite-lang/star":{"post":"JoK5jWv6DlJ3F0DTS7P9NqBHkrwK8UC_GxCq4WE7R_YR_0Nd-nDFoYbkE1wQyHKZzOlI6jEQTjbjfY4Sc_3Lsg"},"/ranjitjhala/sprite-lang/unstar":{"post":"6qco6diPiw5IkeqeURffgXSNp0glbsb_cIE4Tcgq7zWTpG1qXPA5IoZgVY-jdN6hOZVA529KaiyPhlxHU5S8Mg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"V6W-RHeYGghsOIEbN84d7dHMY0-ZHKluF8nNFuxldHFYERj7xzCda4Pk7JQabLM-6m3L424cYU7W1zJL6JQPWw"}}},"title":"Repository search results"}