{"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-10T13:20:20.436Z","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":54,"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":"aWAfjFUtkGxqMDWD2jUWfWPPXvhlDeHTNQR4p0hyGmlt6aT9DEhh1fRafGHQMsdr7vvWMw3KWGx_CaxqydxO6g"},"/AlexandreDecan/sismic/unstar":{"post":"pQIkfnKFa0_h2WOIUrbveasWHb9lBuDZclM9uHPfz8aptNUXnswb1PTwQv3FBraj1lVDCuUa8kn_YbphKl3mCQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"HUclv4LXW114CS2PJJgMTdFcA-BhV8dLOwbES5fwnEuYM_b2bGdyOm4uer3q29KMxq1OOutS5-qrGOeg6H4Teg"}}},"title":"Repository search results"}