Alternatives and similar repositories for sorella-notes:

Users that are interested in sorella-notes are comparing it to the libraries listed below

• spearbit-audits / audit-template
  ☆35Updated last year
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆28Updated 9 months ago
• electisec / reports
  Content for Electisec Reports Site
  ☆27Updated this week
• marjon-call / SmartSecRiddles
  Series of CTF challenges based off real world smart contract vulnerabilities.
  ☆26Updated 9 months ago
• RareSkills / uniswap-v2-puzzles
  ☆44Updated 3 weeks ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆44Updated 10 months ago
• iphelix / euler-exploit-poc
  ☆48Updated last year
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago
• teddav / ethernaut-yul
  ☆38Updated last year
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆53Updated 4 months ago
• Philogy / transient-goodies
  ☆44Updated 2 months ago
• ElliotFriedman / poc-template
  Smart contract exploit proof of concept exploit standard interface
  ☆16Updated last year
• bbresearcher / ZK
  ☆19Updated 5 months ago
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆71Updated last year
• 0xdeadbeef0x / APG
  APG (Auditor Profile Generator)
  ☆35Updated last year
• SunWeb3Sec / ethernaut-foundry-solutions
  To learn fork testing & on-chain broadcast
  ☆27Updated last year
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆50Updated 3 months ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆41Updated last year
• beskay / gas-guide
  A comprehensive guide to teach you about gas optimization patterns.
  ☆26Updated last year
• jtriley-eth / inline-yul-style-guide
  A mostly mostly reasonable approach to inline Yul styling.
  ☆29Updated 8 months ago
• yacademy / fellowship-audits
  ☆54Updated last year
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆33Updated 2 years ago
• 0xcuriousapple / curiousapple-audits
  box of chocolates
  ☆18Updated last week
• deliriusz / foundry-yul-puzzles
  Foundry + Yul puzzles
  ☆32Updated last year
• magnetto90 / tokens-decimals
  Inspired by multichain-auditor, this list shows the difference of decimals positions between the original blockchain and others, only whe…
  ☆28Updated last year
• AngleProtocol / safe-multisig
  Utils to publish transaction create via Foundry on Gnosis Safe
  ☆12Updated last year
• N0xMare / foundry-invariants
  ☆65Updated 2 years ago
• 0xJCN / Ethernaut-CTF
  Ethernaut CTF solutions with Ape, Vyper, & Huff
  ☆36Updated last year
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆110Updated 8 months ago
• zobront / homerolled-zk
  simple zk implementations in python
  ☆22Updated 7 months ago