{"payload":{"header_redesign_enabled":false,"results":[{"id":"93188179","archived":false,"color":"#315665","followers":20,"has_funding_file":false,"hl_name":"hazelgrove/hazelnut-dynamics-agda","hl_trunc_description":"mechanization paired with <a href=\"https://github.com/hazelgrove/hazelnut-dynamics\">https://github.com/hazelgrove/hazelnut-dynamics</a>","language":"Agda","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":93188179,"name":"hazelnut-dynamics-agda","owner_id":18447820,"owner_login":"hazelgrove","updated_at":"2024-05-04T03:36:30.430Z","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":274,"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%253Ahazelgrove%252Fhazelnut-dynamics-agda%2B%2Blanguage%253AAgda","metadata":null,"csrf_tokens":{"/hazelgrove/hazelnut-dynamics-agda/star":{"post":"1w7wd6HW_eZJU-whQ2XK-ql55j8ET1i0EeNRUoVKt7BB0ZNsrZB_gq4RClv89v4heXcay8eEGZXk1yP-v3KWZw"},"/hazelgrove/hazelnut-dynamics-agda/unstar":{"post":"0nqy_ECT8f5D86vXZU02T10K4ycA-SthtH-Dvu8h_TUe5qb2x2Du0veXXMlLSookgaufbM854ShnWFPo72q1Fg"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"90-KtElN9IKhMgaQnVZ81ip1XFXdbh1RnL8KB2u4tdJ2pIcnCSXLGsav3q-o915l3YoWvNxU0RIilKX8xlBHjQ"}}},"title":"Repository search results"}