{"payload":{"header_redesign_enabled":false,"results":[{"id":"114288355","archived":false,"color":"#5e5086","followers":27,"has_funding_file":false,"hl_name":"gordonpace/contractLarva","hl_trunc_description":"Runtime verification tool for Solidity smart contracts. ","language":"Haskell","mirror":false,"owned_by_organization":false,"public":true,"repo":{"repository":{"id":114288355,"name":"contractLarva","owner_id":16775085,"owner_login":"gordonpace","updated_at":"2023-03-29T12:17:13.769Z","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":67,"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%253Agordonpace%252FcontractLarva%2B%2Blanguage%253AHaskell","metadata":null,"csrf_tokens":{"/gordonpace/contractLarva/star":{"post":"HX2dDYrvsGC17YUFuMyfiyqx7fLxRoYOt67RipJghjWYEQAc44LwJu9axO52_Zh-30oz7WL8w5VfWHnesREGMQ"},"/gordonpace/contractLarva/unstar":{"post":"wI6TOytwkJzGkShaLOmpR3f9K9sfeCBpIsitFE7GUFHh3MoTOOuSM-HL1c-4UHruNykDKkHN-H5cDA4U0Uh7ug"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"6heGphMagJhMDeOUIJgjH3HdWy7foxB9hQO3km107mtFY0l51sPIZ-pwHa3rJyzo8aZ3DzwB4h1suDO0NhXdjQ"}}},"title":"Repository search results"}