Alternatives and similar repositories for echidna-curve-reentrancy-hack

Users that are interested in echidna-curve-reentrancy-hack are comparing it to the libraries listed below

• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆55Updated last year
• gustavo-grieco / quimera
  Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
  ☆82Updated last week
• fiveoutofnine / tardis
  Collection of past CTFs to play and practice locally.
  ☆52Updated last year
• 0xnirlin / Thirdweb-Exploit-POC
  Repositery to show case the recent thirdweb exploit that raised due to using openzeppelin ERC2771 implementation with a multi call.
  ☆17Updated last year
• shortdoom / immunefi-terminal
  A datasette dashboard and source code downloader for Immunefi bug bounty data
  ☆30Updated 10 months ago
• deliriusz / foundry-yul-puzzles
  Foundry + Yul puzzles
  ☆33Updated 2 years ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• ETAAcademy / ETAAcademy-Audit
  Web3.0 Audit Resources and Competition Materials
  ☆19Updated last week
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆29Updated last year
• iphelix / euler-exploit-poc
  ☆49Updated 2 years ago
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 3 years ago
• magnetto90 / rareskills-blog-index
  Index of Rareskill Blog posts using playwright
  ☆21Updated last year
• ConsenSysDiligence / napalm
  ☆46Updated last year
• chainlight-io / publications
  ☆87Updated 3 months ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• SunWeb3Sec / ethernaut-foundry-solutions
  To learn fork testing & on-chain broadcast
  ☆30Updated 2 years ago
• Elyx0 / pectra-whitehat-rescue-7702
  ☆34Updated 7 months ago
• RareSkills / invariant-testing-foundry-tutorial
  This code accompanies the invariant testing tutorial on our website.
  ☆19Updated 2 years ago
• shortdoom / betterscan-v1
  A Solidity code search tool with built-in static analysis detection
  ☆78Updated last year
• cryptostaker2 / blockchain-security-audits
  A collection of my security audits
  ☆55Updated 4 months ago
• zeroknots / boilerplate.sol
  ☆15Updated 2 years ago
• crytic / secureum-medusa
  ☆47Updated 2 years ago
• jtriley2p / offensive_vyper
  Vyper Based Capture The Flag Challenges
  ☆35Updated 3 years ago
• runtimeverification / secureum-kontrol
  ☆10Updated last year
• minaminao / defi-exploits
  DeFi exploits for educational purposes
  ☆59Updated 2 years ago
• perimetersec / fuzzlib
  General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing
  ☆53Updated last month
• GuardianAudits / DefenderAudits
  ☆21Updated 2 years ago
• secureum / secureum-a-maze-x-challenges
  ☆19Updated 3 years ago
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆56Updated 9 months ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆42Updated 2 years ago