{"payload":{"header_redesign_enabled":false,"results":[{"id":"110109613","archived":false,"color":"#DA5B0B","followers":7,"has_funding_file":false,"hl_name":"imandra-ai/imandra-docs","hl_trunc_description":"Imandra Documentation","language":"Jupyter Notebook","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":110109613,"name":"imandra-docs","owner_id":6567427,"owner_login":"imandra-ai","updated_at":"2024-07-12T10:10:16.609Z","has_issues":true}},"sponsorable":false,"topics":[],"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":75,"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%253Aimandra-ai%252Fimandra-docs%2B%2Blanguage%253A%2522Jupyter%2BNotebook%2522","metadata":null,"csrf_tokens":{"/imandra-ai/imandra-docs/star":{"post":"2p6bGaEcbgD-z2e3vl5oAj_c8zEXgF_uYZ1CJWPCSU1l7fOOxvzYS4GIQvahMbocsgusQwky2x-PwmuKXUGs7w"},"/imandra-ai/imandra-docs/unstar":{"post":"oyMsZ4S0AI3v_ioEDI8P136NqHDPVZ3Dr9zkpDppEqUONcRSwnnH4WpGWAvVBhXbgbdG96W1GfrKQ8-TxBK-YQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"q4JikFSN55YzOB13wOlqGsjBAZx4gIWKbvOXhQE83fQnpbptpCYzfLTFXbfUe77D3i9VaTjmZAOZE21UTL7YfA"}}},"title":"Repository search results"}