{"payload":{"header_redesign_enabled":false,"results":[{"id":"105454700","archived":false,"color":"#5e5086","followers":2,"has_funding_file":false,"hl_name":"m4lvin/GoMoChe","hl_trunc_description":"🗣️📞 Gossip Model Checking","language":"Haskell","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":105454700,"name":"GoMoChe","owner_id":2990728,"owner_login":"m4lvin","updated_at":"2024-02-01T15:08:06.811Z","has_issues":true}},"sponsorable":false,"topics":["distributed-systems","haskell","protocol","model-checking","gossip","epistemic-logic"],"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":78,"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%253Am4lvin%252FGoMoChe%2B%2Blanguage%253AHaskell","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/m4lvin/GoMoChe/star":{"post":"yGXF4FhYX0OeJ7oje0Zb2ru4gCS6S1aZ4k2uIMaLU9AWG7X4LX5WKTKyyijWnurBWN0qZUuQPbJFRLfLt3z1ZQ"},"/m4lvin/GoMoChe/unstar":{"post":"RrWb5BLdf-tCKZ_0TY_X1MtKa6ySMndCiMK6-LDk6embPhPU6EhrhT-DAYnSVHpANKk8VQYrzcP55zUEBQ-4gQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"RrPAQj0A3QUEYjWUXNhLyky_oTsAJopsnBrnSDOoSPxCb_73kPPhTksfHA0HX8AlGwXefqK8MX6MyjYFDFC4lw"}}},"title":"Repository search results"}