{"payload":{"header_redesign_enabled":false,"results":[{"id":"66867667","archived":false,"color":"#02f88c","followers":239,"has_funding_file":false,"hl_name":"AdaCore/spark2014","hl_trunc_description":"SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applicat…","language":"Ada","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":66867667,"name":"spark2014","owner_id":7767877,"owner_login":"AdaCore","updated_at":"2024-05-10T10:18:17.466Z","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":77,"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%253AAdaCore%252Fspark2014%2B%2Blanguage%253AAda","metadata":null,"csrf_tokens":{"/AdaCore/spark2014/star":{"post":"u8cMrMXbo0Zud8e0vLakkFLYk2Q4noP5keDfV8gzimhOuI47E-nzvfqWYgtVizQgl8c3v56PQNmvH30zPylkNQ"},"/AdaCore/spark2014/unstar":{"post":"F-srOpf2ryfai4n9Y0R52huIGJhbtEqa-4PeGphNpzAlN9bByuZNSaTCbiqynTXxsePGxrHwVtf0gXJGWx2tGA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"qMXXsOgYfT63-1A3x8qJOX1vzooui23CeOKIiEqzvDXPsjD-Kk4XDZoCj1_d3eO9HGysIBWvOx30RhfwLW7ExA"}}},"title":"Repository search results"}