Contributor
@erivas
repos
12
ecosystems
7
languages
5
commits
155
Patched version of Ligo used to compile Checker
The LIGO smart-contract language
Ethereum smart contract fuzzer
Experimental Echidna Builds
An exemple of a contract generating a random number in JsLIGO
An exemple of a contract generating a random number in CameLIGO
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.