{"payload":{"header_redesign_enabled":false,"results":[{"id":"212888034","archived":false,"color":"#d0b68c","followers":24,"has_funding_file":false,"hl_name":"arthuraa/deriving","hl_trunc_description":"Class instances for Coq inductive types with little boilerplate","language":"Coq","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":212888034,"name":"deriving","owner_id":274667,"owner_login":"arthuraa","updated_at":"2024-04-19T17:56:16.452Z","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":68,"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%253Aarthuraa%252Fderiving%2B%2Blanguage%253ACoq","metadata":null,"csrf_tokens":{"/arthuraa/deriving/star":{"post":"vL_oEOKr5S_lVTS-tQIXyv3L34qmDkHm7vXl_cV4oqTG9KXRoAw_PzfKU8Yi0q6FZiQ-dcB1sKiW47OFdAVBow"},"/arthuraa/deriving/unstar":{"post":"ypYLVqm9FbcTQ7Ph_8SRZB1dIttY2-IrRmcGC2CEBeo_jcw_cWDp3O9VXbnMNe65f2_PUEdMqLnQ1NFFXVMGlQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"OT8uKQ41bejw3cSRNgHhtrBi_g4CgXuO-bGuImxdJCxMqwejRlS7J50kd_grQ7fnezO1kSh7y1V_v2uzdKYbiQ"}}},"title":"Repository search results"}