{"payload":{"header_redesign_enabled":false,"results":[{"id":"300309065","archived":false,"color":"#dea584","followers":0,"has_funding_file":false,"hl_name":"gustafla/logic-resolver","hl_trunc_description":"A toy implementation of resolution for propositional logic","language":"Rust","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":300309065,"name":"logic-resolver","owner_id":8680135,"owner_login":"gustafla","updated_at":"2020-10-04T17:19:37.353Z","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":166,"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%253Agustafla%252Flogic-resolver%2B%2Blanguage%253ARust","metadata":null,"csrf_tokens":{"/gustafla/logic-resolver/star":{"post":"2Jq1DM8KjBSt_7sFFuCzPkcXtDbOnSMNoBBvOR_BsuMT6h4fR0eN0J2LMxasVzsTTZk1d6ggwOognizkUCXdVA"},"/gustafla/logic-resolver/unstar":{"post":"VI361DXMu10y8_MrPLyT0QTSsxLJK38EuyvpST1nqxcSR49R-4zdJ3LduYtYNvi9CUsC1gSDNMKlrGfMjN1g8A"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"uDEafkdvE9rmI0tNAPaVYRJTP901En5lrl3uPZbknF7M1sKN4gvRKQSGSVNkz5IFzghm5KPm8YW6TTxfgaoVcQ"}}},"title":"Repository search results"}