{"payload":{"header_redesign_enabled":false,"results":[{"id":"59602631","archived":false,"color":"#5e5086","followers":1,"has_funding_file":false,"hl_name":"palas/detparaminf","hl_trunc_description":"Prototype implementation of an inference algorithm based on blue-fringe that allows parametrisation of symbols in a sound way","language":"Haskell","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":59602631,"name":"detparaminf","owner_id":638102,"owner_login":"palas","updated_at":"2016-05-25T22:53:15.655Z","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":79,"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%253Apalas%252Fdetparaminf%2B%2Blanguage%253AHaskell","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/palas/detparaminf/star":{"post":"3NcDnxq90rK2E8FakK6mPZ0uNrZMR2EH7cmnNrR_fnxQPbw4KOsyN9zRWaZHVKkCsJVQE_2TjqFCqqdDsDUAGg"},"/palas/detparaminf/unstar":{"post":"I4G-urgE2QMbdfPrgB_1x6gbrTx5DBoSxYCUzhoAeKjHu0uLLbEFJ_Pw5uYPr_0UnvGrgVrZjMuIJHGQGu9D8Q"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"GDV9w7KBUzsIccOr7u3nDQIwnJp8Y-DQk3uddB1C1p17Z6Ol5ig62ziA3bAP5aG1sKKd-CSWN4JNv2F3FE9VLQ"}}},"title":"Repository search results"}