Contributor
@marick
repos
4
ecosystems
2
languages
3
commits
12
The symbolic execution engine powering the K Framework
Semantics of Virtual Machine for IELE prototype blockchain
Fork of the Solidity Compiler for compiling Solidity to IELE
Fork of the Runtime Verification Solidity to IELE Compiler, to target MultiversX IELE. Not currently in use.
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
