Alternatives and similar repositories for echidna-farm:

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

• anna-carroll / 3074
  Template using EIP-3074 - AUTH and AUTHCALL in Solidity
  ☆29Updated last year
• kadenzipfel / veLP
  Curve style voting escrow (ve) Uniswap v4 hook contract
  ☆24Updated last year
• devtooligan / memory-strux
  Optimized, in-memory, memory safe data structures written in Solidity.
  ☆36Updated last year
• emo-eth / forge-gas-metering
  utilities for more granular and realistic gas measuring in forge tests
  ☆30Updated last year
• 0xkarmacoma / gas-benchmark-anvil
  a little foundry template that shows how to use anvil to run gas benchmarks
  ☆33Updated last year
• makcandrov / meplang
  An EVM low-level language that gives full control over the control flow of the smart contract.
  ☆26Updated 7 months ago
• clabby / huff-clones
  clones-with-immutable-args by wighawag written in Huff.
  ☆27Updated 2 years ago
• PraneshASP / huff-math
  This repo contains smart contract to perform basic arithmetic operations implemented using Huff
  ☆24Updated 9 months ago
• across-protocol / xdelegate
  Simple Proof of Concept demonstrating a 7683 + 7702 cross chain delegated transaction experience
  ☆31Updated 2 months ago
• emo-eth / upgradeable-storage-checks
  Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.
  ☆28Updated 2 years ago
• jtriley2p / huff-hooks
  Uniswap V4 Huff Hooks
  ☆40Updated last year
• antoncoding / gas-diff-action
  Compares gas usage in Solidity projects using Foundry and comments the changes on the PR
  ☆23Updated 4 months ago
• devtooligan / curta-elohim
  A puzzle for Curta CTF
  ☆26Updated last year
• devtooligan / Huffpoint
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆34Updated last year
• spearbit / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆32Updated 2 years ago
• z80dev / gascomps
  gas comparisons between vyper and solady
  ☆20Updated 5 months ago
• dragonfly-xyz / nottingham-contracts
  ☆18Updated 7 months ago
• marktoda / sponsor
  Sponsored transactions using Permit2
  ☆44Updated last year
• libevm / reth-custom-api-example
  Example to extend Reth to include custom APIs
  ☆27Updated last year
• SorellaLabs / pade
  Macros + Primitives for PADE format
  ☆29Updated 2 weeks ago
• refcell / protec
  An Isolated Safe Environment to Execute Foundry Projects.
  ☆44Updated 2 years ago
• shadow-hq / shadow-starter-pack
  ☆2Updated last year
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• 0xBeans / GenesisAndConclusion
  A blitz project to try to mint an onchain NFT in the last ever POW block and first ever POS block.
  ☆30Updated 2 years ago
• 0xKitsune / solstat-reports
  Smart contract audit / optimization reports generated by solstat.
  ☆14Updated 2 years ago
• 0xClandestine / RemcoMath
  RemcoMathLib is a Gas optimized FullMath implementation inspired by Remco Bloemen.
  ☆31Updated 2 years ago
• emo-eth / buckets
  sane NFT fractionalization with no fees or middlemen
  ☆14Updated last year
• g-r-a-n-t / yultsur
  Yultsur is a Rust implementation of Yul.
  ☆23Updated 3 years ago
• jtriley2p / sol-fun
  ☆22Updated last year
• georgercarder / compression
  solidity compression utility
  ☆19Updated 4 months ago