{"payload":{"header_redesign_enabled":false,"results":[{"id":"643472101","archived":false,"color":"#239dad","followers":15,"has_funding_file":false,"hl_name":"SkiFire13/typst-prooftree","hl_trunc_description":"Prooftrees for Typst - Inspired by Latex's bussproofs","language":"Typst","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":643472101,"name":"typst-prooftree","owner_id":9020423,"owner_login":"SkiFire13","updated_at":"2024-04-29T11:19:35.578Z","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":63,"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%253ASkiFire13%252Ftypst-prooftree%2B%2Blanguage%253ATypst","metadata":null,"csrf_tokens":{"/SkiFire13/typst-prooftree/star":{"post":"XqqtL72WTkpapUyjens8rsNbHco_L0fElJIElruJS_Dt2brtycGxdpL_1LalbDjtfoUdHhlpFxb8ONmbzZgy2A"},"/SkiFire13/typst-prooftree/unstar":{"post":"0_JxCbv3W0TLn8tPyzIa2h5f2Ew-ropKpg2ThG3F2vuO7uO0NP9EO4dcwbGkdt3EXl24hsCEFjq7DctgzJVEoQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"4Ox3HwpcXY9cgLZqt7cxVtvFUQAWhP628UhLzFhm2JJkyYfd9fOiC69eiu0IAwAKW_MBw-pOCCH7C1OJy3UIkw"}}},"title":"Repository search results"}