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
- An opinionated formatting and linting tool for foundry projects☆81Updated last year
- Sample project for building / testing with both Foundry and Hardhat.☆61Updated 3 years ago
- 🎛 Peripheral smart contracts for interacting with Sablier V2☆24Updated 3 months ago
- Experimental hybrid/cross-chain ERC4626 vaults☆52Updated 2 years ago
- General Token Incentives Infrastructure☆69Updated last year
- 🔐 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
- Foundry scripts to automate and keep track of deployments and proxy upgrades.☆77Updated last year
- Core Seaport smart contracts☆50Updated last year
- Contracts and artifacts for the Alchemix V2 system.