Alternatives and similar repositories for echidna-etheno-hh-template:

Users that are interested in echidna-etheno-hh-template are comparing it to the libraries listed below

• nomoixyz / vulcan-template
  A template for projects writting smart contracts that use vulcan for testing
  ☆30Updated last year
• jtriley2p / erc6909-examples
  ☆14Updated last year
• AztecProtocol / rollup-encoder
  I'm encoooderrrring
  ☆11Updated 2 years ago
• Yashiru / huff-stack-comments
  A visual studio code extension that automatically generate the stack comments for Huff.
  ☆26Updated last year
• mal-plankton / solidity
  Solidity code
  ☆10Updated 2 years ago
• atarpara / DateTimeLib
  Gas-Efficient Solidity DateTime Library
  ☆20Updated 2 years ago
• georgercarder / compression
  solidity compression utility
  ☆20Updated 6 months ago
• sushiswap / strategies
  Strategies for BentoBox
  ☆11Updated 2 years ago
• InspexCo / cross-contract-reentrancy
  Cross-Contract Reentrancy Demo
  ☆26Updated 3 years ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• SkidsDAO / skidsdao-ctf-22-jul-22
  ☆10Updated 2 years ago
• nomoixyz / universal-router-vuln-poc
  ☆12Updated 2 years ago
• meppent / pellucid
  An EVM decompiler written in Rust.
  ☆46Updated 2 years ago
• hananbeer / master
  Modify ASTs Easily & Reliably
  ☆17Updated last year
• 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
• memester-xyz / lens-protocol
  The Lens Protocol
  ☆17Updated 2 years ago
• minaminao / huff-eip1167
  EIP-1167 Minimal Proxy Contract written in Huff
  ☆25Updated 2 years ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated last year
• fei-protocol / xTRIBE
  ☆17Updated 3 years ago
• spherex-xyz / reentrancy-guard-proxy
  A Proxy contract incorporating a Reentrancy Guard
  ☆28Updated 2 years ago
• baolean / EthBMC
  The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
  ☆13Updated last year
• 0xkarmacoma / enterprise-counters
  ☆29Updated 2 years ago
• jordanteague / SimpleBondingCurve
  ☆10Updated 3 years ago
• 0xkarmacoma / gas-benchmark-anvil
  a little foundry template that shows how to use anvil to run gas benchmarks
  ☆33Updated 2 years ago
• PraneshASP / huff-math
  This repo contains smart contract to perform basic arithmetic operations implemented using Huff
  ☆24Updated last year
• brockelmore / contract_grabber
  Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor
  ☆30Updated 2 years ago
• devtooligan / huff-spearbit-demo
  ☆17Updated 8 months ago
• refcell / geth-x
  Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.
  ☆22Updated 2 years ago
• m1guelpf / dollar-auction.sol
  A dollar auction implementation in Solidity.
  ☆24Updated 2 years ago
• Philogy / safeconsole
  ☆50Updated last year