crytic / echidna-action
GitHub Action to run Echidna, the Ethereum smart contract fuzzer
☆60Updated 11 months ago
Alternatives and similar repositories for echidna-action:
Users that are interested in echidna-action are comparing it to the libraries listed below
- Experimental hybrid/cross-chain ERC4626 vaults☆50Updated 2 years ago
- An opinionated formatting and linting tool for foundry projects☆80Updated 7 months ago
- Cross chain call library for Solidity☆81Updated 2 years ago
- Sample project for building / testing with both Foundry and Hardhat.☆61Updated 3 years ago
- Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking☆78Updated 2 years ago
- ☆37Updated 2 years ago
- Forkable hardhat & foundry template for thorough evm development.☆87Updated 2 years ago
- Measure gas savings with different Solidity optimizations☆54Updated 2 years ago
- 🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…☆95Updated 3 weeks ago
- ☆58Updated last year
- Yearn Strategy Mix Using Foundry Framework☆104Updated last year
- ☆76Updated 2 years ago
- Create Blacksmiths to use the Foundry. Blacksmith is a 'User Contract' generator. User contracts can interface with the test contracts in…☆102Updated 2 years ago
- A smart contract system which allows smart contracts, including Gnosis Safes, to route their order flow through the CoW protocol with mar…☆45Updated 11 months ago
- Allow voting on governance by ERC20 and ERC4626 holders☆47Updated 2 years ago
- ☆115Updated 3 months ago
- Minimal repo for Foundry examples and reproducing bugs in Foundry☆46Updated 2 years ago
- A Unified Yul+ Toolchain☆44Updated 2 years ago
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆55Updated 5 months ago
- CAPTCHAs for NFTs.☆69Updated 2 years ago
- Foundry scripts to automate and keep track of deployments and proxy upgrades.☆77Updated last year
- ☆49Updated 2 years ago
- ☆50Updated 2 years ago
- The dream baby!!!!☆57Updated 2 years ago
- A Solidity framework for upgradeable modularized applications.☆52Updated 10 months ago
- A list of common Solidity optimization tips and myths.☆85Updated 2 years ago
- Library for checked-in, targeted gas snapshots with forge☆98Updated 4 months ago
- Starter Kit for integrating V2 yearn vaults and ERC4626 vaults☆49Updated 2 years ago
- Wrappers for existing Flash Lenders to be accessible as ERC7399 Flash Lenders☆29Updated last month
- ☆40Updated 11 months ago