{"payload":{"header_redesign_enabled":false,"results":[{"id":"3145182","archived":false,"color":"#b2b7f8","followers":1,"has_funding_file":false,"hl_name":"master-q/study_coq","hl_trunc_description":null,"language":"Verilog","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":3145182,"name":"study_coq","owner_id":277488,"owner_login":"master-q","updated_at":"2012-01-12T13:48:54.000Z","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":59,"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%253Amaster-q%252Fstudy_coq%2B%2Blanguage%253AVerilog","metadata":null,"csrf_tokens":{"/master-q/study_coq/star":{"post":"GsnyDpC9yu2XjkrfvtdRAlP_cv1Qt51rAWpsgytrgu8k-_9dTsXPbWyhitIyQ7A3v1Ofvm6tHJ220e7TU5VxBw"},"/master-q/study_coq/unstar":{"post":"Ozm2ZGjtxWNq5OERsq4SP0aVwt5pqHkC23d62wUX95pODtbjVyftKkB61OevuF9d71agzSLVazJODOmOWg_LfQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"XnYg587RpBkuZs2d6aiS12OnatUTqrkOIfj-OeWPK9Ypjv9narBGg5vykqHcR-xc3X13ULuA4mwzWqmkRxfdHA"}}},"title":"Repository search results"}