{"payload":{"header_redesign_enabled":false,"results":[{"id":"342954381","archived":false,"color":"#FFEC25","followers":30,"has_funding_file":false,"hl_name":"vmware-labs/verified-betrfs","hl_trunc_description":"A verified high-performance file system","language":"Dafny","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":342954381,"name":"verified-betrfs","owner_id":62306860,"owner_login":"vmware-labs","updated_at":"2024-05-24T01:31:31.449Z","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":60,"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%253Avmware-labs%252Fverified-betrfs%2B%2Blanguage%253ADafny","metadata":null,"csrf_tokens":{"/vmware-labs/verified-betrfs/star":{"post":"LI4d6US5QMupsfPQTJ_p_N9BWUYlelkwPdkl_3y9NVrvwlMzc4_zkOwF9P1Rypgk36jAU9GClMlZ9j-6U06i2A"},"/vmware-labs/verified-betrfs/unstar":{"post":"IMwW7j9TUXZUw-QCA20om51b-FypzdV1tyyP71e2z5X3WSC6qLUfZhiuWA3Z2egFQS8aTZnyQ3A92tN17iOdCQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"RrfGWww0F3WW1ftPjTAXxezgEBkkhwJPXDk3fPnqd0FGvTScHOLxbNcrgtkOty18dxpex8N71nAIeYXZErqeqQ"}}},"title":"Repository search results"}