crytic / echidna-action
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
- Cross chain call library for Solidity☆80Updated 2 years ago
- ☆37Updated 2 years ago
- Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking☆78Updated 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 last month
- An opinionated formatting and linting tool for foundry projects☆80Updated 8 months ago
- Experimental hybrid/cross-chain ERC4626 vaults☆50Updated 2 years ago
- ☆58Updated 2 years ago
- An opinionated template for Foundry projects.☆74Updated 2 weeks ago
- Contracts and artifacts for the Alchemix V2 system.☆27Updated 2 years ago
- Foundry scripts to automate and keep track of deployments and proxy upgrades.☆77Updated last year
- Experimental ERC4626 Extensions☆50Updated last year
- A collection of useful bash scripts for ChainOps and more☆84Updated 2 years ago
- Implementation of a non-transferrable NFT using non-financial incentivization.☆85Updated 3 years ago
- Allow voting on governance by ERC20 and ERC4626 holders☆47Updated 2 years ago
- General Token Incentives Infrastructure☆68Updated last year
- CAPTCHAs for NFTs.☆69Updated 2 years ago
- Forkable hardhat & foundry template for thorough evm development.☆87Updated 2 years ago
- Token-based Exchange☆87Updated last year
- ☆76Updated 2 years ago
- Sample project for building / testing with both Foundry and Hardhat.☆61Updated 3 years ago
- A list of common Solidity optimization tips and myths.☆85Updated 2 years ago
- The dream baby!!!!☆58Updated 2 years ago
- Minimal repo for Foundry examples and reproducing bugs in Foundry☆46Updated 2 years ago
- Minimal ERC4626-style tokenized Vault implementation with ERC1155 accounting.☆66Updated 2 years ago
- Solidity trivias☆99Updated 3 years ago
- Forge Snippets for VS Code☆64Updated last year
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆56Updated 6 months ago
- Flashloan-proof Uniswap v3 price-out-of-range oracle for querying if a position is out of range onchain☆50Updated last year
- ☆50Updated 2 years ago
- intents engine☆55Updated 4 months ago