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

• SkidsDAO / skidsdao-ctf-22-jul-22
  ☆10Updated 2 years ago
• minaminao / huff-eip1167
  EIP-1167 Minimal Proxy Contract written in Huff
  ☆25Updated 2 years ago
• yashnaman / tokensWithPermitFunctionList
  An in complete list of tokens with permit function
  ☆14Updated 4 years ago
• lindy-labs / sc_solidity-contracts
  ☆16Updated 2 weeks ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated last year
• alexroan / chuff
  Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language
  ☆32Updated 2 years ago
• InspexCo / cross-contract-reentrancy
  Cross-Contract Reentrancy Demo
  ☆26Updated 3 years ago
• kadenzipfel / veLP
  Curve style voting escrow (ve) Uniswap v4 hook contract
  ☆24Updated last year
• pmerkleplant / Hats-Finance-Game-Solution
  A solution to hats.finance's first CTF challenge
  ☆10Updated 3 years ago
• spherex-xyz / reentrancy-guard-proxy
  A Proxy contract incorporating a Reentrancy Guard
  ☆28Updated 2 years ago
• sense-finance / auto-roller
  Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools
  ☆27Updated last year
• code-423n4 / 2022-04-abranft
  ☆10Updated last year
• PatrickAlphaC / fuzzing-example
  ☆10Updated 2 years ago
• maAPPsDEV / double-entry-point-attack
  Ethernaut Solidity Game Low-level Solution - DoubleEntryPoint - Contract ABI Encode/Decode
  ☆10Updated last year
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• brockelmore / graphstack
  ☆54Updated 2 years ago
• ZeroEkkusu / optimizooors-lab
  Measure gas savings with different Solidity optimizations
  ☆54Updated 3 years ago
• nomoixyz / universal-router-vuln-poc
  ☆12Updated 2 years ago
• 0xKitsune / Foundry-Huff
  A Foundry template to compile and test Huff contracts.
  ☆52Updated 3 years ago
• franz101 / mev-olympics
  MEV Olympics
  ☆44Updated 6 months ago
• jordanteague / SimpleBondingCurve
  ☆10Updated 3 years ago
• 0xfps / my-solidity
  A pack of all solidity codes, I've written not joined to my lessons.
  ☆8Updated 2 years ago
• smol-ninja / bulloak-toolchain
  Automates the verification of Solidity tests written using BTT technique
  ☆18Updated 9 months ago
• Cyfrin / trello_to_audit_report
  ☆17Updated 2 years ago
• jtriley2p / tcontext
  ☆10Updated last year
• hrkrshnn / notes
  ☆51Updated last year
• unhackedctf / schnoodle
  unhacked challenge 2: schnoodle
  ☆21Updated 2 years ago
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago
• socathie / zkML
  Demo application for circomlib-ml
  ☆10Updated 2 years ago
• sushiswap / strategies
  Strategies for BentoBox
  ☆11Updated 2 years ago