{"payload":{"header_redesign_enabled":false,"results":[{"id":"111444016","archived":false,"color":"#3178c6","followers":2,"has_funding_file":false,"hl_name":"GaloisInc/cryptol-vscode","hl_trunc_description":"Visual Studio Code plugin for Cryptol","language":"TypeScript","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":111444016,"name":"cryptol-vscode","owner_id":1584774,"owner_login":"GaloisInc","updated_at":"2022-12-07T18:41:49.688Z","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":73,"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%253AGaloisInc%252Fcryptol-vscode%2B%2Blanguage%253ATypeScript","metadata":null,"csrf_tokens":{"/GaloisInc/cryptol-vscode/star":{"post":"Vk3l71KGJowHj6QnxJhyUfeLx3PuLWUnItcy3ZwM0068FY5xc9I9SgJm6QzgRc784naCu1jDYizD35xR-QbPjw"},"/GaloisInc/cryptol-vscode/unstar":{"post":"NSMujoe6Z1JIzcnQSgEcR8zqNaHShmw-fdlXSq5qhNPrBQGsxQNThgs9-egoOKXDucGC5irW6OZYw6EaqjhnHA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"vCcZjz0Vfl2RJDFX_TAd4jjdNTm9rFrxqBdPNO8V89nEoYdQ00Y8-A1pYGrYjaBAu0MQUFAMuS7wWr_ucNSWog"}}},"title":"Repository search results"}