{"payload":{"header_redesign_enabled":false,"results":[{"id":"141447815","archived":false,"color":"#b07219","followers":1,"has_funding_file":false,"hl_name":"Twelvelines/MCCAL","hl_trunc_description":"Model Checker with Coalition Announcement Logic","language":"Java","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":141447815,"name":"MCCAL","owner_id":19546224,"owner_login":"Twelvelines","updated_at":"2019-10-12T14:15:05.748Z","has_issues":true}},"sponsorable":false,"topics":["java","antlr","model-checking","modal-logic","multi-agent-systems","epistemic-logic","coalition-announcement-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":72,"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%253ATwelvelines%252FMCCAL%2B%2Blanguage%253AJava","metadata":null,"csrf_tokens":{"/Twelvelines/MCCAL/star":{"post":"IrDk8HkdKv5r3o9NBoP1_fowpkB8mf3NUSLgPt5cTJG123dl_PyqCJtIcKaZIkHdKbAQlZlG4ZAyOUbevN8wGg"},"/Twelvelines/MCCAL/unstar":{"post":"r6XdW7-i0ggya0BRbd4OmOU1cPtKCONvVwkh_7zEAwYjI29r9sV8bBEiNks6EedHXDyijDEAyao4JvzY8lYl0A"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"27OZZ9H72AOXDAxWW2jLOhddL7KyyeMnB0NlSQYQ3s7nCzA8JJadWUJygFKMRIh0sa5cVzdtWmmB8QenWGWqGA"}}},"title":"Repository search results"}