{"payload":{"header_redesign_enabled":false,"results":[{"id":"439581399","archived":false,"color":"#f34b7d","followers":7,"has_funding_file":false,"hl_name":"j3yang/dl-pa","hl_trunc_description":"A model checker for the Dynamic Logic of Propositional Assignments (DL-PA) with solving and parameterized random formula generation funct…","language":"C++","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":439581399,"name":"dl-pa","owner_id":50227497,"owner_login":"j3yang","updated_at":"2021-12-25T01:53:09.579Z","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":62,"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%253Aj3yang%252Fdl-pa%2B%2Blanguage%253AC%252B%252B","metadata":null,"csrf_tokens":{"/j3yang/dl-pa/star":{"post":"8a9EFh_QXMKIYsO6QAD5zrI7dQ5DjsQV-_Fh_ZVVsyD8xStFw6bgJOju8IvNEHzHto_HTQs8uf8FfjxFfvCs7g"},"/j3yang/dl-pa/unstar":{"post":"156WejiJpOz0mHkq2EeJZtS09Z4qzzejqfFILpWv23RVJynEx1ycNqOqUNJsb_OMJLp9hEIpKYxPdQ70FixT7A"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"2gu_y586TP6-aaviUVr_ZJIpWQ_HZiwESlKKIzK9y-3sj0zT785pym120zyULmuoDqQjcG0-rXHkt_GAFvpB6g"}}},"title":"Repository search results"}