{"payload":{"header_redesign_enabled":false,"results":[{"id":"284816006","archived":false,"color":"#3572A5","followers":0,"has_funding_file":false,"hl_name":"sabotagelab/MC-DAU","hl_trunc_description":"Model check systems for obligations","language":"Python","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":284816006,"name":"MC-DAU","owner_id":48418031,"owner_login":"sabotagelab","updated_at":"2020-08-04T22:31:50.019Z","has_issues":true}},"sponsorable":false,"topics":["model-checking","autonomous-systems","deontic-logic","ethical-artificial-intelligence"],"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":97,"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%253Asabotagelab%252FMC-DAU%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/sabotagelab/MC-DAU/star":{"post":"2Asib2_FeTMc2Gf0GaVLN7Gof23-eHiOQwv8nfNTnXNVOh9GYTMHPuKWIe-8vNxfl2_tTJzXqJplMSlCcM1gaA"},"/sabotagelab/MC-DAU/unstar":{"post":"83bqGq5xP2ah_7dHjVXLjjLVkVYyXS1TgnKLNIYt5D_gP5azV9rESBPfR8YM8-EDP6z2UKnl4WIc3u091Dra2w"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"7uqzPy7-aEgb5RSdca6Pw8x1_kbbFnhg4Z6geppztKLbBwkYPBO1hjm-8_8sGzzgWD3axhInzNkOTuQ14A27Sg"}}},"title":"Repository search results"}