{"payload":{"header_redesign_enabled":false,"results":[{"id":"158456679","archived":false,"color":"#dea584","followers":90,"has_funding_file":false,"hl_name":"brendanzab/rust-nbe-for-mltt","hl_trunc_description":"Normalization by evaluation for Martin-Löf Type Theory with dependent records","language":"Rust","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":158456679,"name":"rust-nbe-for-mltt","owner_id":695077,"owner_login":"brendanzab","updated_at":"2022-06-08T00:00:07.452Z","has_issues":true}},"sponsorable":false,"topics":["rust","dependent-types","type-theory","type-system","type-inference","unification","type-checker","bidirectional-typechecking","debruijn-indices","dependent-record-types","dependent-records","normalization-by-evaluation","semantic-typechecking"],"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":46,"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%253Abrendanzab%252Frust-nbe-for-mltt%2B%2Blanguage%253ARust","metadata":null,"csrf_tokens":{"/brendanzab/rust-nbe-for-mltt/star":{"post":"1Ptk4Vj7oo0IX3XAQCvuKOUXRdaGoItffY-NtPI59ybK8HGw1ZJRNw85NED7kCOwNRftQbbC9uIIr9eX_kG18g"},"/brendanzab/rust-nbe-for-mltt/unstar":{"post":"jAL_YDglhwPQt_Jhd-g2OfnL7VqdZ1Y1jzyBkZtkud4nhjADBq7KJ1EB9DPL0qwCY00pOAqAf0ageWCdgiPuxg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"ZFGQ6MfeEVW0o5hg1sfYKCZp10xTB-8eDz7z0_ZVYEyXvzEObhe0obOzMh01giUjs_ZZiC73j1nHxGSm8caNUw"}}},"title":"Repository search results"}