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

• fiveoutofnine / tardis
  Collection of past CTFs to play and practice locally.
  ☆52Updated last year
• gustavo-grieco / quimera
  Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry
  ☆78Updated last month
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆55Updated 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
• PositiveSecurity / tron-audit-guide
  Checklist for security audit of tron projects by @positivesecurity
  ☆25Updated last year
• ETAAcademy / ETAAcademy-Audit
  Web3.0 Audit Resources and Competition Materials
  ☆19Updated last week
• chainlight-io / publications
  ☆87Updated last month
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆29Updated last year
• shortdoom / immunefi-terminal
  A datasette dashboard and source code downloader for Immunefi bug bounty data
  ☆30Updated 9 months ago
• perimetersec / arachne
  Arachne is a scaffolding framework built to streamline the development of large-scale fuzzing suites.
  ☆17Updated 8 months ago
• deliriusz / foundry-yul-puzzles
  Foundry + Yul puzzles
  ☆33Updated 2 years ago
• ConsenSysDiligence / napalm
  ☆46Updated last year
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 3 years ago
• iphelix / euler-exploit-poc
  ☆49Updated 2 years ago
• crytic / secureum-medusa
  ☆47Updated 2 years ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• magnetto90 / rareskills-blog-index
  Index of Rareskill Blog posts using playwright
  ☆21Updated last year
• perimetersec / fuzzlib
  General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing
  ☆52Updated last week
• kadenzipfel / audit-portfolio
  Publicly available audits and bug reports
  ☆17Updated last week
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• RareSkills / invariant-testing-foundry-tutorial
  This code accompanies the invariant testing tutorial on our website.
  ☆19Updated 2 years ago
• fuzzland / writeup
  CTF Writeups
  ☆36Updated last year
• Elyx0 / pectra-whitehat-rescue-7702
  ☆34Updated 5 months ago
• zeroknots / boilerplate.sol
  ☆15Updated 2 years ago
• SunWeb3Sec / ethernaut-foundry-solutions
  To learn fork testing & on-chain broadcast
  ☆28Updated 2 years ago
• Decurity / tx-coverage
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆75Updated last year
• shortdoom / betterscan-v1
  A Solidity code search tool with built-in static analysis detection
  ☆78Updated last year
• sherlock-protocol / sherlock-ctf-0x0
  ☆115Updated 3 years ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆43Updated 2 years ago
• crytic / fuzz-utils
  A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
  ☆110Updated 2 months ago