{"payload":{"header_redesign_enabled":false,"results":[{"id":"38512019","archived":false,"color":"#c22d40","followers":412,"has_funding_file":true,"hl_name":"informalsystems/apalache","hl_trunc_description":"APALACHE: symbolic model checker for TLA+ and Quint","language":"Scala","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":38512019,"name":"apalache","owner_id":59101308,"owner_login":"informalsystems","updated_at":"2024-05-19T14:35:16.360Z","has_issues":true}},"sponsorable":false,"topics":["verification","model-checking","smt","tla","tlaplus","quint","apalache"],"type":"Public","help_wanted_issues_count":10,"good_first_issue_issues_count":0,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":66,"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%253Ainformalsystems%252Fapalache%2B%2Blanguage%253AScala","metadata":null,"csrf_tokens":{"/informalsystems/apalache/star":{"post":"Y0HSeAcFlpAkRR6EuDvoQf5_niz-rAbBjRqoV1V2ev2dJsO0iBYmqP_l5ozDJfR6TW-Rbj2KhZe2xTNb5Jq5kg"},"/informalsystems/apalache/unstar":{"post":"DpGT9ZBKf59kOsQRmddWwxxmvKlotxEYihp6BTRHUbhAxNE_0BMzNoJXJbmyZ1PtwnTzKiwr0nN2qbIbQvD1Uw"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"zOAcA547Bt3zMQg7Oqxsb8JR8uMlcd-ZiMpBHmHtgiEhD3XAGkszrmncKsb6TibEp5v8uji1NOu0WwUJqj43BQ"}}},"title":"Repository search results"}