Statistics for this project are still being loaded, please check back later.
Run arbitrary code on the EVM
This repository implements a simple fork test on Optimism that proves that the EVM behaviour of t...
Optimized Solidity snippets.
A repository for Solidity-based smart contract games.
Ethereum smart contract fuzzer
symbolic EVM evaluator
Verify Solidity smart contracts on Etherscan
evm inception: the evm inside the evm via yul and solidity
Devnet, bundler and LSP for Solidity and TypeScript that runs in the browser
An opinionated, spec-compliant, optimized version of Optimism's contracts-bedrock package.
A summary of 200+ CTF blockchain challenges
Symbolic execution engine written in Solidity, based on Difference Logic.