{"payload":{"header_redesign_enabled":false,"results":[{"id":"616859616","archived":false,"color":"#04133b","followers":0,"has_funding_file":false,"hl_name":"runtimeverification/kasmer-multiversx","hl_trunc_description":"Wasm semantics for the Elrond/MultiversX blockchain network","language":"WebAssembly","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":616859616,"name":"kasmer-multiversx","owner_id":3732719,"owner_login":"runtimeverification","updated_at":"2024-07-15T08:25:43.617Z","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":57,"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%253Aruntimeverification%252Fkasmer-multiversx%2B%2Blanguage%253AWebAssembly","metadata":null,"csrf_tokens":{"/runtimeverification/kasmer-multiversx/star":{"post":"X-jHeyUCMCfz_R8wSpCHOHF4O-zolmUapKneUS78PShbxU5FJ1DjizN-FumS3CbTNR8ma31FCddd-yJeCC-FSg"},"/runtimeverification/kasmer-multiversx/unstar":{"post":"KvCmfcu_HlKd_Nsj1XIf8uQW7J4y3B-u_Y5bUFqRb9f9s0I5qVfcnmD9BsKW1xIR4AEMZmINXiW3pvRODCcy4Q"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"V-BdNSlz4wjAIU5730iChUHqCEOQ7-SJakMvc1hAg6oxKD5XpLv5Sh7Vt3y7qZ0zFAKEuAAn4VBgmIovQ9KZoQ"}}},"title":"Repository search results"}