{"payload":{"header_redesign_enabled":false,"results":[{"id":"13581325","archived":false,"color":"#c22d40","followers":121,"has_funding_file":false,"hl_name":"ilya-klyuchnikov/ttlite","hl_trunc_description":"A SuperCompiler for Martin-Löf's Type Theory","language":"Scala","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":13581325,"name":"ttlite","owner_id":273180,"owner_login":"ilya-klyuchnikov","updated_at":"2022-01-29T12:48:45.154Z","has_issues":false}},"sponsorable":false,"topics":["programming-language","dependent-types","coq","type-theory","idris","agda","supercompilation"],"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":81,"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%253Ailya-klyuchnikov%252Fttlite%2B%2Blanguage%253AScala","metadata":null,"csrf_tokens":{"/ilya-klyuchnikov/ttlite/star":{"post":"pAOfG9vM57-iQzOuNHVLCY2Oe5DvXasHK3HosTuPHEPE7i2y2jGj9BZl-Ami4DbNMoM-YBY3pFSW9YafUXviYA"},"/ilya-klyuchnikov/ttlite/unstar":{"post":"eH0lH-fGoVif91Ehq6ZFxZ44iVn9qwThIzYqOaep5NbQhOusB-SN3ldcUTxq2Nu6T9YlddZjd7UzCXcNchFbfA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"MaaWEK8IyVEjpjGFdfvOJTGOSsXCrZDIjperdn1T3H7sZsKUgZ0tU3WnZr09g5DsJ_PrXZfcaDvWY3fEW0dvAg"}}},"title":"Repository search results"}