{"payload":{"header_redesign_enabled":false,"results":[{"id":"97989275","archived":false,"color":"#dea584","followers":2764,"has_funding_file":true,"hl_name":"theseus-os/Theseus","hl_trunc_description":"Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hard…","language":"Rust","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":97989275,"name":"Theseus","owner_id":42755277,"owner_login":"theseus-os","updated_at":"2024-01-10T20:58:16.994Z","has_issues":true}},"sponsorable":false,"topics":["rust","research","kernel","operating-system","theseus","intralingual"],"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":79,"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%253Atheseus-os%252FTheseus%2B%2Blanguage%253ARust","metadata":null,"csrf_tokens":{"/theseus-os/Theseus/star":{"post":"K5Q4XnputOKdK6Y5zpumB6CGJOfcwazMLHRMgjHhmTDmdhsUh19XSTaMQsKHRvSQndDregF2q0K0h5El4b_1rg"},"/theseus-os/Theseus/unstar":{"post":"aq6poTaa1mn-UwUE7gqqJsapgrs49rbo5IwaQfT2MnJyRetmw4PtnHog9ozpcdsiWC_-G9BAtDe85oKNneuvGA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"6OJkGtz79Tk1AUFEzitLKIHl9LXYIeAmNqmyTBh1_DFroGCZBEUTfEYZ1KWOzMqItvbPt-kx4vkwutZA51m4PA"}}},"title":"Repository search results"}