evm inception: the evm inside the evm via yul and solidity
Statistics for this project are still being loaded, please check back later.
Symbolic execution engine written in Solidity, based on Difference Logic.
Devnet, bundler and LSP for Solidity and TypeScript that runs in the browser
Ethereum solidity graph plain debugger. To have the whole picture when debugging.
Run arbitrary code on the EVM
An interactive Solidity Shell
Tools for Yul.
Groth16 verifier in EVM
🌐 A Collection of Notes & Knowledge about Solidity inline Assembly 🔧
symbolic EVM evaluator
A tiny stack machine to learn Ethereum bytecode.
This repository implements a simple fork test on Optimism that proves that the EVM behaviour of t...
Fast Ethereum Virtual Machine implementation