MariusVanDerWijden / tx-fuzzLinks
☆116Updated 4 months ago
Alternatives and similar repositories for tx-fuzz
Users that are interested in tx-fuzz are comparing it to the libraries listed below
Sorting:
- Ethereum Testnet Testing Tool☆62Updated this week
- Tools for Yul.☆138Updated 2 years ago
- Smart contract debugging data format – Standards development working group☆67Updated 2 months ago
- The Good Ethereum Assembler☆122Updated 2 months ago
- Symbolic execution engine written in Solidity, based on Difference Logic.☆111Updated 2 years ago
- A minimal based rollup implementation that is easy to understand and extend☆40Updated last week
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 2 years ago
- ☆109Updated 2 months ago
- SUAVE Application Examples☆57Updated 8 months ago
- Amarna is a static-analyzer and linter for the Cairo programming language.☆148Updated 6 months ago
- A mutation testing tool for Solidity Smart Contracts☆82Updated 3 months ago
- ☆91Updated 4 years ago
- This guide is crafted to assist both newcomers and seasoned developers in navigating the Optimism codebase with ease.☆78Updated last week
- Foundry + Yul template☆97Updated last year
- An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…☆153Updated this week
- ☆105Updated last year
- Simulate cross-chain protocols txs, easily.☆151Updated 2 months ago
- spam EVM execution nodes over JSON-RPC & run benchmarks☆87Updated this week
- ☆93Updated last year
- ☆41Updated 2 months ago
- Library for checked-in, targeted gas snapshots with forge☆96Updated 10 months ago
- MevWallet is a smart contract wallet that allows the user to capture MEV from Searchers, or create MEV on purpose.☆154Updated 2 years ago
- The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ether…☆66Updated 2 weeks ago
- ☆103Updated 2 years ago
- ☆76Updated last week
- ☆42Updated last year
- A tool that performs extraction of storage layouts based on EVM bytecode.