{"payload":{"header_redesign_enabled":false,"results":[{"id":"541357274","archived":false,"color":"#b07219","followers":0,"has_funding_file":false,"hl_name":"matiashrnndz/programming-logic-with-key-n-dafny","hl_trunc_description":"Lógica de Programación con KeY y Dafny","language":"Java","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":541357274,"name":"programming-logic-with-key-n-dafny","owner_id":33187155,"owner_login":"matiashrnndz","updated_at":"2023-08-14T17:04:13.804Z","has_issues":true}},"sponsorable":false,"topics":["algorithms","key","invariants","dafny","verification-methodologies","code-verification","automatic-verification"],"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%253Amatiashrnndz%252Fprogramming-logic-with-key-n-dafny%2B%2Blanguage%253AJava","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/matiashrnndz/programming-logic-with-key-n-dafny/star":{"post":"-Pzdme-cg97KqXrDmp8MSaZn7diSIg2epsL5fiYr_N_9uZ5bGvRkfm1bvxZkNZ3Epknpwlipk6oTJl6oprqjKw"},"/matiashrnndz/programming-logic-with-key-n-dafny/unstar":{"post":"v62QDsXGe33D4bCPq7vWhKt_eucO9rqgax99_wCxX-tYf2E1WH2Mtb4y0fqz92hiE84kTI8bN9-5JL1j43YHzg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"kKyiO4vAKgNhvzTmfhBYr_9VeJfVPyQRZXJrxSqgL6v5xX9B8pBJ3DF_CcYuP0Kzx53dqKKbzuVrGc4awjR6oQ"}}},"title":"Repository search results"}