{"payload":{"header_redesign_enabled":false,"results":[{"id":"435964064","archived":false,"color":"#b07219","followers":9,"has_funding_file":false,"hl_name":"smithy-lang/smithy-dafny","hl_trunc_description":null,"language":"Java","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":435964064,"name":"smithy-dafny","owner_id":133827778,"owner_login":"smithy-lang","updated_at":"2024-09-25T00:01:57.562Z","has_issues":true}},"sponsorable":false,"topics":[],"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":71,"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%253Asmithy-lang%252Fsmithy-dafny%2B%2Blanguage%253AJava","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/smithy-lang/smithy-dafny/star":{"post":"Cgz4OZnDfHJgGiDXsAj6lYHjOpEKAM8no6ZyXozlosuIYaBcUut1uIU_yd2dt_oS6BnUJTbpdX5r0UexhZXAcQ"},"/smithy-lang/smithy-dafny/unstar":{"post":"pDNI231LdLjQouU-Kkk7W5rcZwPBI03Oz7-XwGrDBassYCJ_Z3fY5q4TZZLw5WG9Pc4HZf6nur2KYDXlydslEQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"ckUHdTGSwpOhWnuXf5TE9m8NCcOWQSCt8g5y90XV3me7TYKOsgaviHU8IdsLAoTBunVFQVAuNIPxwm_in4AImQ"}}},"title":"Repository search results"}