{"payload":{"header_redesign_enabled":false,"results":[{"id":"37434806","archived":false,"color":"#555555","followers":3,"has_funding_file":false,"hl_name":"yzh89/MITL2Timed","hl_trunc_description":"Modifying Oddoux and Gastin's ltl2ba (<a href=\"http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/\" rel=\"nofollow\">http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/</a>) to perform Transformation from Metric Interval Tempor…","language":"C","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":37434806,"name":"MITL2Timed","owner_id":974592,"owner_login":"yzh89","updated_at":"2016-01-30T15:50:39.450Z","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":108,"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%253Ayzh89%252FMITL2Timed%2B%2Blanguage%253AC","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/yzh89/MITL2Timed/star":{"post":"al5K2x_U_ZCC-ZyW53Yh3iRSoJI_jOyKk-K2whRuOvvnVVTjeuurb2I1yPLLCDOGzx1AUVcDxfpFtlNRxPOSuw"},"/yzh89/MITL2Timed/unstar":{"post":"WFY-T--XaVOWU9XdV9ksjh4XvTXyCofGsQQbnEOtTiQyvECz6OTDTH59MCs80O098htRG2ynvUNi3lsM5JngLQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"hw06VgoLTZufut8VmEyEkKkCOIHX6KCy1aaBeQAZvcCiziKxo8coO1MBVVUxnEXukyFrojKRFUc0LAK9RiwObg"}}},"title":"Repository search results"}