{"payload":{"header_redesign_enabled":false,"results":[{"id":"773207910","archived":false,"color":null,"followers":14,"has_funding_file":false,"hl_name":"lean-ja/lean99","hl_trunc_description":"These are Lean translations of Ninety-Nine Haskell Problems (WIP)","language":"Lean","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":773207910,"name":"lean99","owner_id":144012457,"owner_login":"lean-ja","updated_at":"2024-09-16T14:50:37.101Z","has_issues":true}},"sponsorable":false,"topics":["functional-programming","lean","lean4"],"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%253Alean-ja%252Flean99%2B%2Blanguage%253ALean","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/lean-ja/lean99/star":{"post":"6ZpaRrzE96hyJj9ziyg1U02DaPv5GLyGhA_oUfNQaYc5w0p91aYIkO0ylCyG_U4J2f_BRKPHwm3p8X_-_UGruw"},"/lean-ja/lean99/unstar":{"post":"1at5RimapVX1iyHIKFg87wzAhploQK_OqfBFih2H7Nwlqd6RQqaVr8ytVblzpK8TwvQ7pe_4PU3MC8FYAWlHkw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"k187RImw9Ciq0wPxa2uI5_izGtm5rGkPURjrUC0MPvyzFwQDW_1oba1TRrcGD6uoUFpCGvIIofIkkMG8GOhf_w"}}},"title":"Repository search results"}