{"payload":{"header_redesign_enabled":false,"results":[{"id":"333070899","archived":false,"color":"#4b0079","followers":0,"has_funding_file":false,"hl_name":"LCBH/BulletinBoard-CSF21","hl_trunc_description":"Companion technical report and TLA+ proofs for the paper \"Fixing the Achilles Heel of E-Voting: The Bulletin Board\" published at IEEE Com…","language":"TLA","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":333070899,"name":"BulletinBoard-CSF21","owner_id":3308586,"owner_login":"LCBH","updated_at":"2021-01-26T12:03:35.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":59,"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%253ALCBH%252FBulletinBoard-CSF21%2B%2Blanguage%253ATLA","metadata":null,"csrf_tokens":{"/LCBH/BulletinBoard-CSF21/star":{"post":"GADgxOv_4GX1a0axD2fy74sJj8Xmj7XWSsnYXMS7U87oEApRUtHs8gSOQ0jfpkWk0e1XvVMG_lCF6llFxiUCLQ"},"/LCBH/BulletinBoard-CSF21/unstar":{"post":"cMegqUI8q8t8YMCQfU8XJTNoDH1Q28mks--e9xcvlqfxG7MtjQOZE9mcJU4mbViUEF_Cijfsm-kLn7y9KqHBHQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"T_up3NW6Fqf_pU_j73LPQ9io6UN50Vx2PrsMqVPnNEKPPfqjyq1eDWodNMZGfujSY03SWsUV7t5mSahZ6tHt4g"}}},"title":"Repository search results"}