{"payload":{"header_redesign_enabled":false,"results":[{"id":"355471550","archived":false,"color":"#00ADD8","followers":32,"has_funding_file":false,"hl_name":"symbolicsoft/verifpal","hl_trunc_description":"Cryptographic protocol analysis for real-world protocols.","language":"Go","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":355471550,"name":"verifpal","owner_id":26714438,"owner_login":"symbolicsoft","updated_at":"2024-05-15T13:45:54.787Z","has_issues":true}},"sponsorable":false,"topics":["cryptography","formal-methods","formal-verification","protocol-verification","protocol-analysis","symbolic-protocol-analysis","cryptographic-protocols"],"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":91,"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%253Asymbolicsoft%252Fverifpal%2B%2Blanguage%253AGo","metadata":null,"csrf_tokens":{"/symbolicsoft/verifpal/star":{"post":"FZAvxokBWFVNV8NLlHDe5Go_A4P2C4QmKNiptRINV38SXbxBSTzXrBUqiJypRRUnGYaLv2jQUk4drjMQy4TavQ"},"/symbolicsoft/verifpal/unstar":{"post":"fR1HwgZGRKQJ3oof_7joZO6chXmDTuylkiInckuGPfFF9zKVyPXN5G4eEU1ny5Sn4jQvCfa4vsPRApOi4rVUsQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"78Hs1DE7fIIq12FypaeE--L3iFxb-dww54JHzRlfpoFkCNIKTv_jYxyNF-mAKDOWgWMJ8eROwhrGoJtlvqQ9Fw"}}},"title":"Repository search results"}