{"payload":{"header_redesign_enabled":false,"results":[{"id":"690789194","archived":false,"color":"#355570","followers":1,"has_funding_file":false,"hl_name":"RAIRLab/VirtualSlate","hl_trunc_description":"VirtualSlate is an in deveopment proof of concept for VR graphical interactive theorem proving with natural deduction. ","language":"GDScript","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":690789194,"name":"VirtualSlate","owner_id":2984267,"owner_login":"RAIRLab","updated_at":"2023-12-09T05:14:43.834Z","has_issues":true}},"sponsorable":false,"topics":["virtual-reality","godot","interactive-theorem-proving"],"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":63,"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%253ARAIRLab%252FVirtualSlate%2B%2Blanguage%253AGDScript","metadata":null,"csrf_tokens":{"/RAIRLab/VirtualSlate/star":{"post":"0zaiH4Fqc0y36Thnkr67xO-Yqs44XHYuCUKuzCH0T-cxCJ_QVFB8WiRg9dg2b498Vvkeh3nM4irvNA8T-D3Dsw"},"/RAIRLab/VirtualSlate/unstar":{"post":"60mZIAXeF9cmZNtAff4IEBaCwTOCAbOgsT3YNHOt7J6g6JNTJH9oZxCI4WxyyAsFQxHxAmAgZa8nWzXKLVSZsg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"RXuoBz7yo1wcRqCgmISwQRk6AvAz8L_24GhkxxFwOetrSfZYykyjXHhpiUm0IrOvaIpzicnwpj6wQfyED712kA"}}},"title":"Repository search results"}