Alternatives and similar repositories for echidna-action

Users that are interested in echidna-action are comparing it to the libraries listed below

• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 3 years ago
• primitivefinance / hardhat-foundry
  Forkable hardhat & foundry template for thorough evm development.
  ☆87Updated 2 years ago
• ControlCplusControlV / Yul-Log
  A Unified Yul+ Toolchain
  ☆44Updated 2 years ago
• EricForgy / foundry-hardhat-sample
  Sample project for building / testing with both Foundry and Hardhat.
  ☆61Updated 3 years ago
• 0xPhaze / upgrade-scripts
  Foundry scripts to automate and keep track of deployments and proxy upgrades.
  ☆77Updated 2 years ago
• FrankieIsLost / smart-batched-auction
  ☆82Updated 3 years ago
• saucepoint / super-ERC4626-example
  Experimental hybrid/cross-chain ERC4626 vaults
  ☆52Updated 2 years ago
• charlesndalton / milkman
  A smart contract system which allows smart contracts, including Gnosis Safes, to route their order flow through the CoW protocol with mar…
  ☆46Updated last year
• 0xethsign / Account2
  Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking
  ☆78Updated 2 years ago
• MrToph / goostew
  ☆49Updated 2 years ago
• devtooligan / cloudhunter
  ☆58Updated 2 years ago
• devanoneth / ERC4626Votes
  Allow voting on governance by ERC20 and ERC4626 holders
  ☆48Updated 3 years ago
• pbshgthm / blacksmith
  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
• openchainxyz / transaction-decoder
  ☆82Updated 2 years ago
• Rubilmax / foundry-storage-check
  🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…
  ☆96Updated 3 months ago
• jtriley2p / cursed-struct-token
  ☆37Updated 2 years ago
• fei-protocol / flywheel-v2
  General Token Incentives Infrastructure
  ☆69Updated last year
• z0r0z / helios
  Token-based Exchange
  ☆87Updated last year
• wadealexc / ERC20Tweetable
  Minimal ERC20-compatible bytecode
  ☆71Updated 4 years ago
• superform-xyz / experimental-4626
  Experimental ERC4626 Extensions
  ☆50Updated last year
• ZeroEkkusu / solx
  Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.
  ☆58Updated 10 months ago
• primitivefinance / soulbound
  Implementation of a non-transferrable NFT using non-financial incentivization.
  ☆85Updated 3 years ago
• odyslam / bash-utils
  A collection of useful bash scripts for ChainOps and more
  ☆84Updated 2 years ago
• ScopeLift / scopelint
  An opinionated formatting and linting tool for foundry projects
  ☆81Updated 2 weeks ago
• FraxFinance / fraxlend
  ☆52Updated 4 months ago
• refcell / cairostarter
  Forkable, Minimal Template for Starknet Projects.
  ☆44Updated 3 years ago
• storming0x / foundry_strategy_mix
  Yearn Strategy Mix Using Foundry Framework
  ☆105Updated last year
• euler-xyz / median-oracle
  ☆79Updated 2 years ago
• noxx3xxon / evm-by-example
  ☆76Updated 3 years ago
• cleanunicorn / mockprovider
  Solidity mocking provider for testing
  ☆62Updated 2 years ago