{"payload":{"header_redesign_enabled":false,"results":[{"id":"325077883","archived":false,"color":"#FFEC25","followers":27,"has_funding_file":false,"hl_name":"mit-pdos/daisy-nfsd","hl_trunc_description":"DaisyNFS is an NFS server verified using Dafny and Perennial.","language":"Dafny","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":325077883,"name":"daisy-nfsd","owner_id":12404246,"owner_login":"mit-pdos","updated_at":"2024-01-12T16:23:54.352Z","has_issues":true}},"sponsorable":false,"topics":["verification","dafny"],"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":87,"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%253Amit-pdos%252Fdaisy-nfsd%2B%2Blanguage%253ADafny","metadata":null,"csrf_tokens":{"/mit-pdos/daisy-nfsd/star":{"post":"1qOfhB7B-Q9KYkFGKlMNFY_nbVjyVrcb9A35ib-lYiOQbU-8DSOXpCxhFdmV82H94n8FXmC-mo3qN4L8SY4t3Q"},"/mit-pdos/daisy-nfsd/unstar":{"post":"NeHJDNB15rg7S8je1g1Nw50FUNiO1kGc1o7o855U_P4Sjx2GhQrO0jiNlXhVdo-OBR_WqovCa7KhdZMc60wypA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"q_fH2WuJE391-8DHPK_hOAoGncALFXl76VfGMbfrg_lTJe6iD0FwATP9dlbUq7rn4GQJK_PYPucnXUmSWdhsUA"}}},"title":"Repository search results"}