{"payload":{"header_redesign_enabled":false,"results":[{"id":"25162376","archived":false,"color":"#555555","followers":51,"has_funding_file":false,"hl_name":"utwente-fmt/ltsmin","hl_trunc_description":"The LTSmin model checking toolset","language":"C","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":25162376,"name":"ltsmin","owner_id":9006547,"owner_login":"utwente-fmt","updated_at":"2024-03-08T11:54:34.245Z","has_issues":true}},"sponsorable":false,"topics":["promela","model-checking","petri-net","model-checker","dve","pnml","linear-temporal-logic","mu-calculus","computation-tree-logic"],"type":"Public","help_wanted_issues_count":2,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":64,"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%253Autwente-fmt%252Fltsmin%2B%2Blanguage%253AC","metadata":null,"csrf_tokens":{"/utwente-fmt/ltsmin/star":{"post":"8GaYYmbj_sHNEjIBIAqEPdaIDTcFc2A8xO6yWOqX4-KMtHRsPv7Z18hR0D6iJ5T6Qnyv_LT6DIbVApJDEwbj8A"},"/utwente-fmt/ltsmin/unstar":{"post":"6kiVrluB66sppSTyOFjSUn3WOznEL-9cVvFnzWoT1QKXi1zTNHxX6aLVPXcwXp8eXvTQ0_4-y0IQh7MNmt_-HA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"lzxmQvJog1-drxASYy1j-gf5f6XSjy2Tku3bZWbod6_1_Pf1aY-ZYMeO6Zqh3KaMHTADBqsk40yilP04IA3_bQ"}}},"title":"Repository search results"}