{"payload":{"header_redesign_enabled":false,"results":[{"id":"7723344","archived":false,"color":"#5e5086","followers":11,"has_funding_file":false,"hl_name":"dysinger/agda-haskell-c-ffi-layer-cake","hl_trunc_description":"Demostration of FFI from Agda -> Haskell -> C in one project","language":"Haskell","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":7723344,"name":"agda-haskell-c-ffi-layer-cake","owner_id":447,"owner_login":"dysinger","updated_at":"2013-04-15T01:00:57.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":62,"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%253Adysinger%252Fagda-haskell-c-ffi-layer-cake%2B%2Blanguage%253AHaskell","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/dysinger/agda-haskell-c-ffi-layer-cake/star":{"post":"MrsxIYHFdCXLII3tRGNK4Aq9c4yxgzR_7G1e8FJNsmGsldpeyQRrM0VE9yFEg-FQuRmiIg3WYbXjv0mq_o50Wg"},"/dysinger/agda-haskell-c-ffi-layer-cake/unstar":{"post":"8dzexz5WuBuyyjvhJaSx4ExN5cCQ1Y0LkLzH77qBqOxsJ8jA5IaRBYY1dmq8mIh7aHt7AlqqQEJacxzxsoGnzQ"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"6xwYISWzJnfHITGAs0735h4z1JWP4tpbGrxE1RDT8t9-U8y2pbnLkACArnyaVXHb5Y_WvtMKdzYNuFCSytD8SA"}}},"title":"Repository search results"}