{"payload":{"header_redesign_enabled":false,"results":[{"id":"181525029","archived":false,"color":"#3178c6","followers":2,"has_funding_file":false,"hl_name":"retutch/tutch","hl_trunc_description":"A TypeScript implementation of the TUTorial proof CHecker (Tutch).","language":"TypeScript","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":181525029,"name":"tutch","owner_id":55061080,"owner_login":"retutch","updated_at":"2024-06-23T01:08:09.043Z","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":109,"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%253Aretutch%252Ftutch%2B%2Blanguage%253ATypeScript","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/retutch/tutch/star":{"post":"2wOGukEm8BqeSuQVE8LpP3EZUytOInA56Vc4nU8evp3QzToeOgRjQpWnza-dyEfVsZAXhC8biIyHCs0jkfQL_g"},"/retutch/tutch/unstar":{"post":"MuoJd1zEFUXcIx0YTIQZ3lf-m4uW1e0uMopGX9PQktFogxOs76MGDFwb7f2WSUd3aOt2u7UyCMQmcua-Vlttwg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"qPo2nstuCJf-RUifDYJ8CGGOLNm3-dRX_Q2CqePJGf_3_DipWDHzMApdFMrIgrrf06uS8HlqdRN_-sEnpNzo2w"}}},"title":"Repository search results"}