Alternatives and similar repositories for echidna-action

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

• refcell / cairostarter
  Forkable, Minimal Template for Starknet Projects.
  ☆44Updated 4 years ago
• nlordell / deadbeef
  Tool for computing vanity Safe addresses
  ☆79Updated 10 months ago
• saucepoint / super-ERC4626-example
  Experimental hybrid/cross-chain ERC4626 vaults
  ☆52Updated 3 years ago
• 0xPhaze / upgrade-scripts
  Foundry scripts to automate and keep track of deployments and proxy upgrades.
  ☆77Updated 2 years ago
• 0xethsign / Account2
  Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking
  ☆79Updated 3 years ago
• ScopeLift / scopelint
  An opinionated formatting and linting tool for foundry projects
  ☆83Updated last month
• primitivefinance / hardhat-foundry
  Forkable hardhat & foundry template for thorough evm development.
  ☆87Updated 3 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…
  ☆100Updated 9 months 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 3 years ago
• sphinx-labs / chugsplash-foundry
  A Foundry library for deploying and managing upgradeable smart contracts
  ☆96Updated 2 years ago
• wighawag / forge-deploy
  ☆116Updated 2 months ago
• fei-protocol / flywheel-v2
  General Token Incentives Infrastructure
  ☆69Updated 2 years ago
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 3 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…
  ☆45Updated last year
• mds1 / solidity-generators
  Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.
  ☆120Updated 2 years ago
• euler-xyz / median-oracle
  ☆79Updated 3 years ago
• morpho-org / morpho-data-structures
  Data structures used by Morpho Optimizer.
  ☆114Updated last year
• cleanunicorn / mockprovider
  Solidity mocking provider for testing
  ☆62Updated 3 years ago
• NoahZinsmeister / franchiser
  ☆92Updated last year
• timeless-fi / yield-daddy
  ERC-4626 wrappers for common yield-generating platforms
  ☆145Updated last year
• foundry-rs / hardhat
  Foundry-Hardhat plugins: Use Foundry for Hardhat projects
  ☆95Updated last year
• marktoda / forge-gas-snapshot
  Library for checked-in, targeted gas snapshots with forge
  ☆97Updated last year
• 0xPhaze / UDS
  Upgradeable Contracts using the Diamond Storage pattern.
  ☆50Updated 2 years ago
• crisgarner / ForgeSnippets
  Forge Snippets for VS Code
  ☆64Updated 2 years ago
• alephao / solidity-benchmarks
  Benchmarks of popular contract implementations in solidity
  ☆105Updated last year
• jtriley2p / cursed-struct-token
  ☆37Updated 3 years ago
• ScopeLift / foundry-template
  An opinionated template for Foundry projects.
  ☆78Updated 2 months ago
• FraxFinance / fraxlend
  ☆53Updated 2 months ago
• primitivefinance / soulbound
  Implementation of a non-transferrable NFT using non-financial incentivization.
  ☆84Updated 3 years ago
• EricForgy / foundry-hardhat-sample
  Sample project for building / testing with both Foundry and Hardhat.
  ☆61Updated 3 years ago