This app works best with JavaScript enabled.
Cardano Testnets
Shelley
Byron
Plutus
Marlowe
KEVM
IELE
IELE
About IELE
Skills and requirements
The IELE virtual machine
Advantages of using IELE
IELE architecture
Semantics based compilation
Formal verification
Inspiration for the K framework
K framework, Cardano, and IELE
Get started
Writing Smart Contracts in IELE
Executing Solidity Smart Contracts on the IELE Testnet
Accessing the IELE Faucet
Viewing the IELE Block Explorer
Sample Smart Contracts
Mallet installation
Mallet 2.0 tutorial
Coding in IELE Assembly
Better security with IELE
Resources
Links
Support and help
Tools
Faucet
Compiler
Explorer
Executing Solidity Smart Contracts on the IELE Testnet
Compiling and Deploying Step-by-Step
Now let’s start compiling and deploying smart contracts with step-by-step instructions.