{"payload":{"header_redesign_enabled":false,"results":[{"id":"132722473","archived":false,"color":"#02f88c","followers":150,"has_funding_file":false,"hl_name":"tofgarion/spark-by-example","hl_trunc_description":"SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada","language":"Ada","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":132722473,"name":"spark-by-example","owner_id":89934,"owner_login":"tofgarion","updated_at":"2022-08-16T14:45:25.207Z","has_issues":true}},"sponsorable":false,"topics":["formal-methods","ada","formal-verification","formal-specification"],"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":70,"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%253Atofgarion%252Fspark-by-example%2B%2Blanguage%253AAda","metadata":null,"csrf_tokens":{"/tofgarion/spark-by-example/star":{"post":"AujsKKUX5dTiGNDMiuY4g14qy714PuH9wrR4rT0eyoVuTW1k8bfCiqDrwmXao2zVSKGosYnYk7o4lii74CNYgw"},"/tofgarion/spark-by-example/unstar":{"post":"Xr5W2ClaVl7feLDGbrIU2-2_qKOajZ-G9zI5MWn7H6pY4R-yhDi6PB4_I0BWuMwkhI8hxwnkquKRxf0yE_M-ZA"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"P0ggQT4vug0iHcYc55DaKksdUlCPh2V6MOtPIrg0PieAzksoDhoCc0gro1P4qsm6NeEuKRUdRo-nTTG7kqDo2A"}}},"title":"Repository search results"}