{"payload":{"header_redesign_enabled":false,"results":[{"id":"173480464","archived":false,"color":"#d0b68c","followers":140,"has_funding_file":false,"hl_name":"mit-pdos/perennial","hl_trunc_description":"Verifying concurrent crash-safe systems","language":"Coq","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":173480464,"name":"perennial","owner_id":12404246,"owner_login":"mit-pdos","updated_at":"2024-08-23T21:36:38.986Z","has_issues":true}},"sponsorable":false,"topics":["coq","concurrency","verification"],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false},{"id":"368606264","archived":false,"color":"#00ADD8","followers":48,"has_funding_file":false,"hl_name":"mit-pdos/go-journal","hl_trunc_description":"Verified, concurrent, crash-safe transaction system","language":"Go","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":368606264,"name":"go-journal","owner_id":12404246,"owner_login":"mit-pdos","updated_at":"2024-07-20T16:15:28.326Z","has_issues":true}},"sponsorable":false,"topics":["verification"],"type":"Public","help_wanted_issues_count":0,"good_first_issue_issues_count":0,"starred_by_current_user":false},{"id":"325077883","archived":false,"color":"#FFEC25","followers":28,"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},{"id":"153664940","archived":false,"color":"#d0b68c","followers":11,"has_funding_file":false,"hl_name":"mit-pdos/argosy","hl_trunc_description":"Proving crash safety for systems with layered recovery","language":"Coq","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":153664940,"name":"argosy","owner_id":12404246,"owner_login":"mit-pdos","updated_at":"2022-06-29T20:41:38.112Z","has_issues":true}},"sponsorable":false,"topics":["coq","verification","recovery"],"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":96,"errors":[],"result_count":4,"facets":[{"kind":"FACET_KIND_LANGUAGE","entries":[{"name":"Coq","language_color":"#d0b68c","query":"language:Coq"},{"name":"Go","language_color":"#00ADD8","query":"language:Go"},{"name":"Dafny","language_color":"#FFEC25","query":"language:Dafny"}]}],"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%3Dtopic%253Averification%2Borg%253Amit-pdos%2Bfork%253Atrue%26type%3Drepositories","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/mit-pdos/perennial/star":{"post":"KcngO2_F-tGz3rD1B7UUvPuT3BkQ8nLf2tSsGPBGESjd20yzNlxLr6LjjBncosRTGFfpbFoPYT2CKYaxVTfZ8w"},"/mit-pdos/perennial/unstar":{"post":"yJMUEYmb2WEy1EarBporEDRWaNeMhwwIyOyRAsHgir8qRJ4mTl5HK4eVIGojvJ2xAK8TciATw5Fhu9y00sWjig"},"/mit-pdos/go-journal/star":{"post":"JGcFl40aVdS_uf7DRLEsfC9ET2fCcuxWQM9BVqEASxpaTO72VDgf_zUzcCz50TRw-iCxpubDPCWWW3g58foLLw"},"/mit-pdos/go-journal/unstar":{"post":"V2CFNyE_RtojwmkLeXtFL-e4ErjMvmwIs1U4qg-4_o7cykyXIfEjwDn4biu5voYT44umdCAN0ooqs0GIAw_IBQ"},"/mit-pdos/daisy-nfsd/star":{"post":"B95Z30xLOR9OxlLuvThB_jhGuW8tq-PBY4EdgW4RIRtLKG1jAQXMX62a3855Xc0eYj_EYeQELtARLUHztZgaeQ"},"/mit-pdos/daisy-nfsd/unstar":{"post":"dTRc3aU32uJ1vxoojAcUmn00MBGCPxdewftQXQtp7wlbs125xk4Wl6WReUcY5FYEfNsaBSFmZseHd3ZjbJvT6w"},"/mit-pdos/argosy/star":{"post":"2FPBY2_mtgGcLq3A2WHFhMJVSCmKm60GHKTZvcCY7aVCT9tjJLic1UN3ZobzACLHZSTy8UTTO9AfwAD7RF433A"},"/mit-pdos/argosy/unstar":{"post":"hnEn-K_ceAAK9uiPCIItvcoRV-lWfTxBiwHPNwmK0wDWFT-2fPyyKCLn9l6lb2LQMmFsCVp7FMR8XESGcrsFqw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"H2f1BzrMC2VqOPjXhzu12gWKOoGuXMUgBUSfzh6NpkE2XPbcwyVCgsPQEQUB283BRLwc_r7bQQMQUAMKa-WtAw"}}},"title":"Repository search results"}