Alternatives and similar repositories for echidna-action

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

• ScopeLift / scopelint
  An opinionated formatting and linting tool for foundry projects
  ☆82Updated last month
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 3 years ago
• primitivefinance / hardhat-foundry
  Forkable hardhat & foundry template for thorough evm development.
  ☆87Updated 3 years ago
• marktoda / forge-gas-snapshot
  Library for checked-in, targeted gas snapshots with forge
  ☆96Updated last year
• mds1 / solidity-generators
  Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.
  ☆120Updated 2 years ago
• cleanunicorn / mockprovider
  Solidity mocking provider for testing
  ☆62Updated 3 years ago
• EricForgy / foundry-hardhat-sample
  Sample project for building / testing with both Foundry and Hardhat.
  ☆61Updated 3 years ago
• spalladino / sample-contract-deploy-pipeline
  Sample hardhat project with a smart contract deployment pipeline
  ☆70Updated 2 years ago
• superform-xyz / experimental-4626
  Experimental ERC4626 Extensions
  ☆50Updated last year
• fei-protocol / flywheel-v2
  General Token Incentives Infrastructure
  ☆69Updated last year
• 0xethsign / Account2
  Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking
  ☆77Updated 2 years ago
• nlordell / deadbeef
  Tool for computing vanity Safe addresses
  ☆79Updated 6 months ago
• devanoneth / ERC4626Votes
  Allow voting on governance by ERC20 and ERC4626 holders
  ☆48Updated 3 years ago
• 0xPhaze / upgrade-scripts
  Foundry scripts to automate and keep track of deployments and proxy upgrades.
  ☆77Updated 2 years ago
• saucepoint / super-ERC4626-example
  Experimental hybrid/cross-chain ERC4626 vaults
  ☆52Updated 2 years ago
• alchemix-finance / v2-contracts
  Contracts and artifacts for the Alchemix V2 system.
  ☆27Updated 3 years ago
• z0r0z / MultiVault
  Minimal ERC4626-style tokenized Vault implementation with ERC1155 accounting.
  ☆65Updated 3 years ago
• morpho-org / morpho-data-structures
  Data structures used by Morpho Optimizer.
  ☆114Updated 9 months ago
• devtooligan / cloudhunter
  ☆58Updated 2 years ago
• smartcontracts / shitdao
  it's all shit!
  ☆69Updated 3 years ago
• alcueca / erc7399-wrappers
  Wrappers for existing Flash Lenders to be accessible as ERC7399 Flash Lenders
  ☆30Updated 3 months ago
• ControlCplusControlV / Yul-Log
  A Unified Yul+ Toolchain
  ☆44Updated 2 years ago
• 0xkitetsu-dinesh / Learning-EVM-using-Yul-Huff
  Gas Golfing using Huff and Yul
  ☆82Updated 3 years ago
• noxx3xxon / evm-by-example
  ☆77Updated 3 years ago
• ZeframLou / universal-bridge
  Unified interface for sending messages from Ethereum to other chains and rollups.
  ☆104Updated 2 years ago
• jtriley2p / loopinator
  ☆133Updated 3 years ago
• primitivefinance / soulbound
  Implementation of a non-transferrable NFT using non-financial incentivization.
  ☆84Updated 3 years ago
• jtriley2p / cursed-struct-token
  ☆37Updated 3 years ago
• sphinx-labs / chugsplash-foundry
  A Foundry library for deploying and managing upgradeable smart contracts
  ☆96Updated last year
• pbshgthm / blacksmith
  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