crytic / echidna-actionLinks
GitHub Action to run Echidna, the Ethereum smart contract fuzzer
☆62Updated 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:
- Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking☆79Updated 2 years ago
- Sample project for building / testing with both Foundry and Hardhat.☆61Updated 3 years ago
- Experimental hybrid/cross-chain ERC4626 vaults☆52Updated 2 years ago
- Cross chain call library for Solidity☆81Updated 3 years ago
- Create Blacksmiths to use the Foundry. Blacksmith is a 'User Contract' generator. User contracts can interface with the test contracts in…☆102Updated 3 years ago
- Implementation of a non-transferrable NFT using non-financial incentivization.☆84Updated 3 years ago
- Forkable hardhat & foundry template for thorough evm development.☆87Updated 3 years ago
- An opinionated formatting and linting tool for foundry projects☆82Updated last week
- Tool for computing vanity Safe addresses☆79Updated 7 months ago
- General Token Incentives Infrastructure☆69Updated 2 years ago
- Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.☆119Updated 2 years ago
- ☆37Updated 3 years ago
- ☆81Updated 3 years ago
- ☆93Updated 3 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
- Ethereum Smart Contract starting template☆106Updated 2 years ago
- Foundry scripts to automate and keep track of deployments and proxy upgrades.☆77Updated 2 years ago
- Library for checked-in, targeted gas snapshots with forge☆97Updated last year
- Solidity mocking provider for testing☆62Updated 3 years ago
- Experimental ERC4626 Extensions☆52Updated last year
- Allow voting on governance by ERC20 and ERC4626 holders☆48Updated 3 years ago
- Forkable, Minimal Template for Starknet Projects.☆44Updated 3 years ago
- A collection of useful bash scripts for ChainOps and more☆84Updated 3 years ago
- it's all shit!☆69Updated 3 years ago
- Minimal ERC4626-style tokenized Vault implementation with ERC1155 accounting.☆65Updated 3 years ago
- Token-based Exchange☆85Updated last year
- Core Seaport smart contracts☆50Updated last year
- Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.☆56Updated last year
- ☆82Updated 2 years ago
- Yearn Strategy Mix Using Foundry Framework☆105Updated 2 years ago