Alternatives and similar repositories for BailSec

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

• nevillehuang / Portfolio
  ☆42Updated 5 months ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆42Updated 2 years ago
• magnetto90 / tokens-decimals
  Inspired by multichain-auditor, this list shows the difference of decimals positions between the original blockchain and others, only whe…
  ☆30Updated 2 years ago
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆30Updated last year
• SunWeb3Sec / ethernaut-foundry-solutions
  To learn fork testing & on-chain broadcast
  ☆30Updated 2 years ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆48Updated last year
• StErMi / forge-damn-vulnerable-defi
  ☆66Updated 3 years ago
• csanuragjain / ImmunefiBugFinder
  Immunefi Contract DB - Search Bugs
  ☆34Updated last year
• perimetersec / fuzzlib
  General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing
  ☆58Updated 3 weeks ago
• yAudit / reports
  Content for yAudit Reports Site
  ☆29Updated last week
• yAudit / fellowship-audits
  ☆55Updated 6 months ago
• MiloTruck / regast
  A static analyzer for Solidity, built upon regex and ASTs.
  ☆25Updated last year
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆58Updated 11 months ago
• Hexens / Smart-Contract-Review-Public-Reports
  List of the public smart contract audit reports and security reviews performed by Hexens.
  ☆54Updated this week
• marjon-call / SmartSecRiddles
  Series of CTF challenges based off real world smart contract vulnerabilities.
  ☆29Updated last year
• magnetto90 / rareskills-blog-index
  Index of Rareskill Blog posts using playwright
  ☆21Updated last year
• secureum / RACE
  Readiness Assessment for CARE Endeavour
  ☆58Updated last year
• ElliotFriedman / poc-template
  Smart contract exploit proof of concept exploit standard interface
  ☆16Updated 2 years ago
• chainlight-io / publications
  ☆88Updated 5 months ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆55Updated last year
• ETAAcademy / ETAAcademy-Audit
  Web3.0 Audit Resources and Competition Materials
  ☆19Updated this week
• RareSkills / uniswap-v2-puzzles
  ☆77Updated 6 months ago
• shortdoom / immunefi-terminal
  A datasette dashboard and source code downloader for Immunefi bug bounty data
  ☆31Updated last year
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 3 years ago
• ConsenSysDiligence / secureum-diligence-bootcamp
  ☆37Updated last year
• kkrt-labs / cairo0-starter
  A set of exercises to get started with Cairo0
  ☆22Updated 10 months ago
• one-hundred-proof / notional-flash-attack
  Proof of Concept of (now fixed) vulnerability in Notional smart contracts
  ☆41Updated 3 years ago
• immunefi-team / bugfix-reviews-pocs
  ☆58Updated last year
• 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 11 months ago
• yAudit / web3-security-talks
  Novel and informative web3 security talks
  ☆20Updated 3 years ago