{"payload":{"header_redesign_enabled":false,"results":[{"id":"272706534","archived":false,"color":"#3c5caa","followers":0,"has_funding_file":false,"hl_name":"boaz23/PPL-ass-5","hl_trunc_description":"BGU PPL Course Assignment 5 - Lazy lists, CPS, introduction to logic programming in Prolog and proof trees","language":"Racket","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":272706534,"name":"PPL-ass-5","owner_id":13120551,"owner_login":"boaz23","updated_at":"2021-07-21T16:08:25.469Z","has_issues":true}},"sponsorable":false,"topics":["scheme","prolog","cps","logic-programming","lazy-lists","proof-trees"],"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%253Aboaz23%252FPPL-ass-5%2B%2Blanguage%253ARacket","metadata":null,"csrf_tokens":{"/boaz23/PPL-ass-5/star":{"post":"iKxQN1bRbD1YO-zKbBD_SYpz-vcOmnu-vX_dRC4XukM-Gwh9_B27ooXzgF8Ygyyedq0hYgSmDT0Wle7xMMKIoA"},"/boaz23/PPL-ass-5/unstar":{"post":"6rOYOfyL0NFsTRihIpYJ1bKZ3zEY7QUg4xRMgvE-FujL6wAb9liaqwsBGMEeUslXn5SfCIa6hpW-KxqZr8icpA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"h-WmyHdwKV_OaJzhuJuYBozwLZauZBwH3jv4-P_Nww_2BCjqN8ZFXdnjy-d7p6pIB5xB7FU7JiVeJT12XIXxyw"}}},"title":"Repository search results"}