Alternatives and similar repositories for DeFiVulnLabsCosmWasm

Users that are interested in DeFiVulnLabsCosmWasm are comparing it to the libraries listed below

• minaminao / defi-exploits
  DeFi exploits for educational purposes
  ☆61Updated 2 years ago
• Decurity / tx-coverage
  Reveal unused code of a live smart contract by collecting coverage from historical transactions.
  ☆75Updated last year
• Zellic / Masamune
  A smart contract security search utility
  ☆74Updated 10 months ago
• Kaiziron / paradigm-ctf-2022-writeup
  Writeup for solved challenges in Paradigm CTF 2022
  ☆76Updated 3 years ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆43Updated 2 years ago
• sherlock-protocol / sherlock-ctf-0x0
  ☆115Updated 3 years ago
• beskay / solidity-challenges
  Solidity challenges for EthernautDAO
  ☆43Updated 2 years ago
• gasgauge / gasgauge.github.io
  This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
  ☆61Updated 4 years ago
• JoranHonig / awesome-web3-ai-security
  ☆39Updated last year
• iphelix / euler-exploit-poc
  ☆49Updated 2 years ago
• MrToph / ctf-lending
  ☆99Updated 2 years ago
• igorganich / damn-vulnerable-defi-halmos
  Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.
  ☆33Updated 8 months ago
• Dedaub / audits
  Repository containing past audit reports
  ☆55Updated last year
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• 0xJCN / Damn-Vulnerable-DeFi-V3-CTF
  Damn Vulnerable DeFi V3 CTF implementation with Ape, exploits with Vyper & Huff
  ☆25Updated 2 years ago
• crytic / secureum-medusa
  ☆47Updated 2 years ago
• chainlight-io / publications
  ☆87Updated last month
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 3 years ago
• fuzzland / writeup
  CTF Writeups
  ☆36Updated last year
• fiveoutofnine / tardis
  Collection of past CTFs to play and practice locally.
  ☆52Updated last year
• deliriusz / awesome-cosmos-security
  A curated list of Cosmos ecosystem links, focusing on the security aspect of it
  ☆68Updated 3 months ago
• Anish-Agnihotri / sushiswap-exploit
  SushiSwap RouteProcessor2 exploit repro + supporting data useful for whitehats.
  ☆92Updated 2 years ago
• ConsenSysDiligence / secureum-diligence-bootcamp
  ☆37Updated last year
• oak-security / cosmwasm-security-dojo
  ☆37Updated last year
• electisec / fellowship-audits
  ☆55Updated 3 months ago
• ConsenSysDiligence / napalm
  ☆46Updated last year
• forefy / eburger
  eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.
  ☆37Updated 4 months ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆55Updated last year
• nullity00 / zkzk
  Fast paced learning group for ZK enthusiasts focused on circuit development & Security
  ☆34Updated 2 years ago
• MrToph / paradigm-ctf
  My solutions to https://ctf.paradigm.xyz/
  ☆63Updated 2 years ago