crytic / echidna-actionLinks
GitHub Action to run Echidna, the Ethereum smart contract fuzzer
☆60Updated last year
Alternatives and similar repositories for echidna-action
Users that are interested in echidna-action are comparing it to the libraries listed below
Sorting:
- Cross chain call library for Solidity☆81Updated 2 years ago
- Foundry scripts to automate and keep track of deployments and proxy upgrades.☆77Updated last year
- An opinionated formatting and linting tool for foundry projects☆81Updated 11 months ago
- ☆58Updated 2 years ago
- Experimental hybrid/cross-chain ERC4626 vaults☆51Updated 2 years ago
- Forkable hardhat & foundry template for thorough evm development.☆87Updated 2 years ago
- Contracts and artifacts for the Alchemix V2 system.☆27Updated 2 years ago
- ☆76Updated 2 years ago
- Sample project for building / testing with both Foundry and Hardhat.☆61Updated 3 years ago
- Allow voting on governance by ERC20 and ERC4626 holders☆48Updated 2 years ago
- ☆82Updated 3 years ago
- ☆130Updated 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 last year
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆121Updated 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…☆96Updated 2 months ago
- Yearn Strategy Mix Using Foundry Framework☆105Updated last year
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago
- A Unified Yul+ Toolchain☆44Updated 2 years ago
- Library for checked-in, targeted gas snapshots with forge☆97Updated 8 months ago
- ☆98Updated 2 years ago
- A Foundry library for deploying and managing upgradeable smart contracts☆96Updated last year
- Core Seaport smart contracts☆50Updated last year
- Measure gas savings with different Solidity optimizations☆54Updated 3 years ago
- ERC-4626 wrappers for common yield-generating platforms☆143Updated 4 months ago
- ☆50Updated 2 years ago
- ☆124Updated 3 months ago
- Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking☆78Updated 2 years ago
- ☆49Updated 2 years ago
- ☆37Updated 2 years ago
- The dream baby!!!!☆58Updated 2 years ago