{"payload":{"header_redesign_enabled":false,"results":[{"id":"369604983","archived":false,"color":"#A97BFF","followers":20,"has_funding_file":false,"hl_name":"COS301-SE-2021/Smart-Contract-Verifier","hl_trunc_description":"This project is to create a system that uses DeFi technology to enforce contracts. Users will be able to set up contracts between each ot…","language":"Kotlin","mirror":false,"owned_by_organization":true,"public":true,"repo":{"repository":{"id":369604983,"name":"Smart-Contract-Verifier","owner_id":74192146,"owner_login":"COS301-SE-2021","updated_at":"2021-10-14T06:08:13.052Z","has_issues":true}},"sponsorable":false,"topics":["kotlin","spring-boot","jpa","smart-contracts","blockchain","mockito-kotlin","solidity","flutter"],"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":58,"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%253ACOS301-SE-2021%252FSmart-Contract-Verifier%2B%2Blanguage%253AKotlin","metadata":null,"warn_limited_results":false,"csrf_tokens":{"/COS301-SE-2021/Smart-Contract-Verifier/star":{"post":"9b8uC67CW4Ct1Xf4MJfHyaqF6LND6g6fu2sCs8i-oELhf7c6yVDfNxKvfLVr3LSyz9N4dJojCVZ9rdqviVczrQ"},"/COS301-SE-2021/Smart-Contract-Verifier/unstar":{"post":"p91PMBTtH9PdBg_f3CUco0xNEoml3y3yLRvp5_RVoZBki60t_Pd8z4hIH2yh2wiy0UrgAkmqX_xdDRQLl35u5w"},"/sponsors/batch_deferred_sponsor_buttons":{"post":"rRX7hdN01tsfEsiU86LzCAu5LwyvqUhtY72VfvPxgHU2sRDfjce1vAlPwuHzrhs3mEMHLADrem_AC6HT8aOxMg"}}},"title":"Repository search results"}