{"payload":{"header_redesign_enabled":false,"results":[{"id":"47129162","archived":false,"color":"#3572A5","followers":136,"has_funding_file":true,"hl_name":"AlexandreDecan/sismic","hl_trunc_description":"Sismic Interactive Statechart Model Interpreter and Checker <a href=\"http://sismic.readthedocs.io/\" rel=\"nofollow\">http://sismic.readthedocs.io/</a>","language":"Python","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":47129162,"name":"sismic","owner_id":4992216,"owner_login":"AlexandreDecan","updated_at":"2024-05-29T11:39:07.684Z","has_issues":true}},"sponsorable":true,"topics":["python","testing","uml","finite-state-machine","behavior-driven-development","property-testing","statecharts","hierarchical-state-machine","design-by-contract"],"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":84,"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%253AAlexandreDecan%252Fsismic%2B%2Blanguage%253APython","metadata":null,"csrf_tokens":{"/AlexandreDecan/sismic/star":{"post":"bSp3mMhfwXtVQtIYXyFbauYbrzbPRW-3hzQ3YIcUdtOHsQaF9yvsH0w0PWE4xQaIyVN-24V_zAKZqCZKrGNnFw"},"/AlexandreDecan/sismic/unstar":{"post":"ztgM8YuuumOqs7S6P0w_nCJmPyRsMeNGkGkVkHnRBoeF2umUv6XaUDEALzBvyx6MLhrsYhrn5cZyKqybopk2jg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"hWFxvPw3xLcoAMt9Khj9b0lbDMguO0_isCzZCoQfWw5-HxxkT7JDFYkddQtlwNIaoyE4nvf2hbIxwAkq_sfIqw"}}},"title":"Repository search results"}