{"payload":{"header_redesign_enabled":false,"results":[{"id":"227071804","archived":false,"color":"#dea584","followers":21,"has_funding_file":false,"hl_name":"01mf02/kontroli-rs","hl_trunc_description":"Alternative implementation of the logical framework Dedukti in Rust","language":"Rust","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":227071804,"name":"kontroli-rs","owner_id":864342,"owner_login":"01mf02","updated_at":"2024-04-29T12:30:17.148Z","has_issues":true}},"sponsorable":false,"topics":["rust","typechecker","dependent-types","logic","dedukti"],"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":60,"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%253A01mf02%252Fkontroli-rs%2B%2Blanguage%253ARust","metadata":null,"csrf_tokens":{"/01mf02/kontroli-rs/star":{"post":"dRAW_BiUuTV97P9FSqYkiuyYynd5RaQ70ThR8qGEO2VGln86mFFTFe87BxyhsrT0U9HSSVj1Sd_dabhbzmw1XQ"},"/01mf02/kontroli-rs/unstar":{"post":"LhNH6-bD6yHiWsvBX8E13-idPaC1TJd1r9LQZoDjd94KlJu_lg6JNBpBEisNdGvYadBd0rI03-3nK3FQ3LEDXQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"EE3neckCMWL02COfDKJPRsn9l_nW5BcG595Tou8gLvQv8QKSX3M-rLmjEH0aObLgCKutVXGw_6z18AC8pnBLFQ"}}},"title":"Repository search results"}