{"payload":{"header_redesign_enabled":false,"results":[{"id":"419354915","archived":false,"color":"#3178c6","followers":0,"has_funding_file":false,"hl_name":"LedgerProject/safepkt_vscode-plugin","hl_trunc_description":"Visual Studio Code Plugin for verifying rust-based smart-contract with SafePKT","language":"TypeScript","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":419354915,"name":"safepkt_vscode-plugin","owner_id":66412751,"owner_login":"LedgerProject","updated_at":"2021-11-22T13:57:20.735Z","has_issues":true}},"sponsorable":false,"topics":["rust","verification","smart-contract"],"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":101,"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%253ALedgerProject%252Fsafepkt_vscode-plugin%2B%2Blanguage%253ATypeScript","metadata":null,"csrf_tokens":{"/LedgerProject/safepkt_vscode-plugin/star":{"post":"ea5ZtspobCfIDRioIET6onLhsoP1HspzXVtPYRTNqc5H_JzhKu1OVlQP_6zUS66mKziF_IbOlfgvAERiM_O-mg"},"/LedgerProject/safepkt_vscode-plugin/unstar":{"post":"QLBm1Bq7RR8_J3WbwEd0XIYxq3-Lx8_mP6ju9M5dUYQSwu94soT2wZIb_MAvESGeLgnUh1z0gIFqQzWOW8ZUAw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"6Oulc9LAhgC-2oB161yibO-N0CnuStTGtb_x1Zbom28TvuFoihHSsKeorDIunzKsOZUw8zBkRY-mJg_YM2J6SQ"}}},"title":"Repository search results"}