{"payload":{"header_redesign_enabled":false,"results":[{"id":"545691022","archived":false,"color":"#315665","followers":3,"has_funding_file":false,"hl_name":"Gradual-Typing/LambdaIFCStar","hl_trunc_description":"The Agda mechanization of a gradual security-typed programming language with general mutable references.","language":"Agda","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":545691022,"name":"LambdaIFCStar","owner_id":32933960,"owner_login":"Gradual-Typing","updated_at":"2024-05-24T19:13:07.539Z","has_issues":true}},"sponsorable":false,"topics":["semantics","agda","formalization","coercion","meta-theory","gradual-typing","information-flow","type-systems","noninterference"],"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":69,"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%253AGradual-Typing%252FLambdaIFCStar%2B%2Blanguage%253AAgda","metadata":null,"csrf_tokens":{"/Gradual-Typing/LambdaIFCStar/star":{"post":"uSG5RN2_vojAm9KDBI6pm9uKcfofJtA9U_RHVH5DOH2u-FwWm7m0F46WqpcVt4CWsiAuPeyqWxbV7Be5h95sBA"},"/Gradual-Typing/LambdaIFCStar/unstar":{"post":"NwkOYLZl24J6iRjQHDsuAcUKKwCZAR_e4yDAmwlyiGdLSr5pukBDeD51NkiBFQR641yHlJEqFDPTqekiuCb2zg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"_CjkCCLRoEoJP4PeKtFYj-O20uHmIhkbmCvcPRuwv_EVhfd8EiEyoWwLH2Ttqpk4UxLpimugSiYXM7Mj6s0jtA"}}},"title":"Repository search results"}