{"payload":{"header_redesign_enabled":false,"results":[{"id":"59245624","archived":false,"color":"#178600","followers":28,"has_funding_file":false,"hl_name":"olydis/coq2latex","hl_trunc_description":"A command-line tool to generate Latex (inference rules) from inductive coq definitions.","language":"C#","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":59245624,"name":"coq2latex","owner_id":9320958,"owner_login":"olydis","updated_at":"2016-08-23T15:56:54.238Z","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":86,"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%253Aolydis%252Fcoq2latex%2B%2Blanguage%253AC%2523","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/olydis/coq2latex/star":{"post":"9N5mCd9jmxJZyFv6lj5LoGkhEz4JxrSiHxauoPm4dwK5m4U8QF5-2hMSYcHpNUCqavWNY3-ekdS0pII0lzqSyw"},"/olydis/coq2latex/unstar":{"post":"H2Iqkl32-bRkTdsZEFUzoJXHMpyAP30ldHEsF6xqUHZo-k3l3GWJ5_saNL1EYxxCAXhdw6IpdY7cWa-FZhuQ5A"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"R7LUSu_oNDAlolLVzrpL4X6UNNOrQgJIo9BBoESP4wyD8VKSU25tlbM9gG8hmqclmQ6jnKhiprO8MaO2H8H3Kg"}}},"title":"Repository search results"}