Alternatives and similar repositories for Damn-Vulnerable-DeFi-V3-CTF

Users that are interested in Damn-Vulnerable-DeFi-V3-CTF are comparing it to the libraries listed below

• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated last year
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 3 years ago
• jtriley2p / offensive_vyper
  Vyper Based Capture The Flag Challenges
  ☆35Updated 3 years ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• electisec / reports
  Content for Electisec Reports Site
  ☆27Updated 2 weeks ago
• zobront / homerolled-zk
  simple zk implementations in python
  ☆28Updated last year
• ConsenSysDiligence / secureum-diligence-bootcamp
  ☆37Updated last year
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• bbresearcher / ZK
  ☆17Updated last week
• secureum / secureum-a-maze-x-challenges
  ☆18Updated 3 years ago
• iphelix / euler-exploit-poc
  ☆49Updated 2 years ago
• 0xJCN / Ethernaut-CTF
  Ethernaut CTF solutions with Ape, Vyper, & Huff
  ☆37Updated 2 years ago
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆32Updated 2 years ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 3 years ago
• electisec / fellowship-audits
  ☆55Updated last month
• N0xMare / foundry-invariants
  ☆65Updated 2 years ago
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 2 years ago
• spearbit-audits / audit-template
  ☆35Updated last year
• chainlight-io / publications
  ☆87Updated 2 weeks ago
• moodlezoup / huffidity-poc
  ☆63Updated 2 years ago
• omeguhh / Huff-By-Example
  Solidity By Example rewritten in Huff, the most based low-level EVM language.
  ☆34Updated last year
• teddav / ethernaut-yul
  ☆38Updated 2 years ago
• kadenzipfel / function-selector-miner
  Blazingly fast function selector miner written in Rust.
  ☆79Updated 2 years ago
• YAcademy-Residents / Proxies-website
  Go-to compilation of smart contract proxy information, for discerning devs and auditors
  ☆23Updated 5 months ago
• tinchoabbate / eth-sec-lab
  A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.
  ☆39Updated 2 years ago
• crytic / roundme
  ☆93Updated last year
• MiloTruck / regast
  A static analyzer for Solidity, built upon regex and ASTs.
  ☆26Updated last year
• jtriley2p / smart-types
  ☆69Updated 2 years ago
• 0xalpharush / static-analysis-and-compilers
  Eclectic notes on static analysis and compilers
  ☆47Updated 3 years ago
• spearbit-audits / report-template
  A markdown based template for writing spearbit reports
  ☆68Updated 3 years ago