{"payload":{"header_redesign_enabled":false,"results":[{"id":"120609541","archived":false,"color":"#02f88c","followers":102,"has_funding_file":false,"hl_name":"AdaCore/RecordFlux","hl_trunc_description":"Formal specification and generation of verifiable binary parsers, message generators and protocol state machines","language":"Ada","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":120609541,"name":"RecordFlux","owner_id":7767877,"owner_login":"AdaCore","updated_at":"2024-05-26T22:50:58.866Z","has_issues":true}},"sponsorable":false,"topics":["python","parser","spark","communication-protocol","formal-methods","ada","protocol-parser","binary-parser","formal-verification","protocol-specification","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":96,"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%252FRecordFlux%2B%2Blanguage%253AAda","metadata":null,"csrf_tokens":{"/AdaCore/RecordFlux/star":{"post":"dEsLeAMWwdqV5--wNpr4S2ka-3-Jxr5-3CuiaLuhyWzjZZ_daDXuE7CVC3tXiSXcsqG6g9m1PZLUDv2B4bnK6A"},"/AdaCore/RecordFlux/unstar":{"post":"MAHckSdi9lF1Y238MqZ7Z4QSF1jY-LIFvLvm6Wofo9KLMGV7l6aI5hHVxWyly5icgouD98zF2SnaE6_yAWjovg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"yUeVG7If8pDp9DXnvzIJQ-wU730ITROzlNi4Lc9yJMVkgDIRPPTgAs0fxXjGeMY0PMA1QQZL663ifnRiROOQQQ"}}},"title":"Repository search results"}