Alternatives and similar repositories for BailSec

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

• perimetersec / fuzzlib
  General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing
  ☆35Updated last week
• kadenzipfel / audit-portfolio
  Publicly available audits and bug reports
  ☆16Updated 2 months ago
• SunWeb3Sec / ethernaut-foundry-solutions
  To learn fork testing & on-chain broadcast
  ☆28Updated last year
• ecivini / gas-bad
  GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
  ☆68Updated last year
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆43Updated last year
• deliriusz / foundry-yul-puzzles
  Foundry + Yul puzzles
  ☆33Updated last year
• ChainSecurity / TSTORE-Low-Gas-Reentrancy
  Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas
  ☆15Updated last year
• MiloTruck / sorella-notes
  ☆12Updated 8 months ago
• emilianobonassi / curve-whitehack-example
  Example of the whitehack for Curve exploit 30/07/23
  ☆19Updated last year
• decentxyz / forge-toolkit
  Common contracts for foundry projects.
  ☆11Updated 6 months ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆29Updated last year
• Elyx0 / pectra-whitehat-rescue-7702
  ☆33Updated 2 months ago
• pcaversaccio / tornado-cash-exploit
  This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…
  ☆57Updated last month
• devtooligan / huff-spearbit-demo
  ☆16Updated 11 months ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 10 months ago
• zobront / homerolled-zk
  simple zk implementations in python
  ☆26Updated last year
• marjon-call / SmartSecRiddles
  Series of CTF challenges based off real world smart contract vulnerabilities.
  ☆27Updated last year
• pessimistic-io / audit-process
  Interactions between developers and auditors
  ☆9Updated last year
• YAcademy-Residents / Proxies-website
  Go-to compilation of smart contract proxy information, for discerning devs and auditors
  ☆23Updated 3 months ago
• 0xKitsune / sstan
  Solidity static analyzer
  ☆83Updated last year
• chainlight-io / publications
  ☆88Updated 4 months ago
• teddav / ethernaut-yul
  ☆38Updated 2 years ago
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• Dedaub / audits
  Repository containing past audit reports
  ☆55Updated last year
• bug-bounty-wall-of-shame / bug-bounty-wall-of-shame.github.io
  ☆19Updated 8 months ago
• paco0x / kyber-exploit-example
  reproduce kyber-elastic exploit
  ☆75Updated last year
• iphelix / euler-exploit-poc
  ☆50Updated 2 years ago
• jtriley2p / inline-yul-style-guide
  A mostly mostly reasonable approach to inline Yul styling.
  ☆30Updated last year