{"payload":{"header_redesign_enabled":false,"results":[{"id":"511140824","archived":false,"color":"#315665","followers":32,"has_funding_file":false,"hl_name":"IntersectMBO/formal-ledger-specifications","hl_trunc_description":"Formal specifications of the cardano ledger","language":"Agda","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":511140824,"name":"formal-ledger-specifications","owner_id":138229448,"owner_login":"IntersectMBO","updated_at":"2024-07-12T18:53:23.180Z","has_issues":true}},"sponsorable":false,"topics":["agda","formal-methods","cardano-node"],"type":"Public","help_wanted_issues_count":1,"good_first_issue_issues_count":8,"starred_by_current_user":false}],"type":"repositories","page":1,"page_count":1,"elapsed_millis":83,"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%253AIntersectMBO%252Fformal-ledger-specifications%2B%2Blanguage%253AAgda","metadata":null,"csrf_tokens":{"/IntersectMBO/formal-ledger-specifications/star":{"post":"GyeSAJm97h7cf4bcmJKMSluaXYc5QbPyW-D8PQfvzVEkVsbc7xK6HxH5kBuYBFGvM7SfNJHzrMB12n095pbL6w"},"/IntersectMBO/formal-ledger-specifications/unstar":{"post":"lT1j1_qNoK-rshflZwXxIDjKbZDIX_e8ABVqK1Aj68JseVIaZawjSPnOis_C_SxMZ1xQ9IAVLztj3E-hXg5iOQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"eip2zZP4kxrK7BqYzguI17p_4kIJimpvYzKj4SxZM16V2B2IfLe34rwQLpoHtXOowA6VBvSLLjm45fGUs7JgiQ"}}},"title":"Repository search results"}