{"payload":{"header_redesign_enabled":false,"results":[{"id":"590095540","archived":false,"color":"#dea584","followers":12,"has_funding_file":false,"hl_name":"cando/Algar","hl_trunc_description":"Algebraic structures, higher-kinded types and other category theory bad ideas","language":"Rust","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":590095540,"name":"Algar","owner_id":180244,"owner_login":"cando","updated_at":"2023-03-31T15:57:24.806Z","has_issues":true}},"sponsorable":false,"topics":["monads","functional-programming","category-theory","monad-transformers"],"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":78,"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%253Acando%252FAlgar%2B%2Blanguage%253ARust","metadata":null,"csrf_tokens":{"/cando/Algar/star":{"post":"7Fc2jHCeLh6bcf_8UcW5-3KeTgWifVXG7E-CYNTDR0N0s6UNHiDVsl0kjfSZ-HNize1I7ZOf7VcIMnXp24eKdA"},"/cando/Algar/unstar":{"post":"2GRAu0qoTd0xFJ6vQ9mXZBMxcR_2Kid7Zkc1-c8p6EZ9-AE5cTNNqmYBl-N1mYMhysQr_kelqi0msknJaQqevg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"i2UQgcvJkU0M0cJFJMUfcNsQJDYA5WM_ulTFv7a3yWQ_tLOFMo5yvH0rq2EaqNgKefZQtR1Do3k2_-eRUrqpaQ"}}},"title":"Repository search results"}