{"payload":{"header_redesign_enabled":false,"results":[{"id":"196869490","archived":false,"color":"#3178c6","followers":333,"has_funding_file":false,"hl_name":"tlaplus/vscode-tlaplus","hl_trunc_description":"TLA+ language support for Visual Studio Code","language":"TypeScript","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":196869490,"name":"vscode-tlaplus","owner_id":2684289,"owner_login":"tlaplus","updated_at":"2024-02-04T06:29:26.661Z","has_issues":true}},"sponsorable":false,"topics":["verification","specification","vscode-extension","model-checking","formal-methods","tla","tlc","pluscal"],"type":"Public","help_wanted_issues_count":2,"good_first_issue_issues_count":1,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":77,"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%253Atlaplus%252Fvscode-tlaplus%2B%2Blanguage%253ATypeScript","metadata":null,"csrf_tokens":{"/tlaplus/vscode-tlaplus/star":{"post":"W2D2p38metnzxQh33mkL-2UwiRQNvtbI7IdFjwrQB7Oqf0n6rNC0A2zMi_UpxEuvzsv3A17yROBPEAQwdbZgKg"},"/tlaplus/vscode-tlaplus/unstar":{"post":"fhYhXXsUgkjZ-QAUYdmU_Clr2W8JKv6r4bSX_C_He8Zm4LdFNbh9PD7oYDcN5HqIWCxvCo8egX2kSfQCwImQ7g"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"cbv9ONRxiaIephQFTMOizlPzyfW_q2qfrGrX9ss4v-nCb3c--dOwMWo2Yx1wc9L5gnI_cFE5jUE7jd889b118Q"}}},"title":"Repository search results"}