Alternatives and similar repositories for sorella-notes

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

• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 11 months ago
• perimetersec / fuzzlib
  General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing
  ☆49Updated 3 weeks ago
• unhackedctf / reaper
  unhacked challenge 1: reaper
  ☆41Updated 2 years ago
• beskay / gas-guide
  A comprehensive guide to teach you about gas optimization patterns.
  ☆25Updated last year
• electisec / fellowship-audits
  ☆55Updated last week
• RareSkills / invariant-testing-foundry-tutorial
  This code accompanies the invariant testing tutorial on our website.
  ☆20Updated 2 years ago
• omeguhh / Huff-By-Example
  Solidity By Example rewritten in Huff, the most based low-level EVM language.
  ☆34Updated last year
• tinchoabbate / eth-sec-lab
  A repository of notes, writeups and tests to understand security-related issues of Ethereum smart contracts.
  ☆40Updated 2 years ago
• gpersoon / diagrams
  Diagrams for Solidity contracts
  ☆47Updated last year
• kadenzipfel / function-selector-miner
  Blazingly fast function selector miner written in Rust.
  ☆79Updated 2 years ago
• fiveoutofnine / tardis
  Collection of past CTFs to play and practice locally.
  ☆53Updated 11 months ago
• AmadiMichael / Zyclone
  2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash
  ☆82Updated last year
• teddav / ethernaut-yul
  ☆38Updated 2 years ago
• N0xMare / foundry-invariants
  ☆65Updated 2 years ago
• ecivini / gas-bad
  GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
  ☆67Updated last year
• zobront / 4byte-collider
  Simple Rust script for finding colliding 4byte function selectors
  ☆59Updated 2 years ago
• kkrt-labs / cairo0-starter
  A set of exercises to get started with Cairo0
  ☆20Updated 4 months ago
• Al-Qa-qa / ethernaut-solutions-foundry
  OpenZeppelin Ethernaut CTFs solutions using Foundry framework
  ☆29Updated last year
• crytic / roundme
  ☆93Updated last year
• SunWeb3Sec / ethernaut-foundry-solutions
  To learn fork testing & on-chain broadcast
  ☆28Updated last year
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆76Updated last year
• electisec / reports
  Content for Electisec Reports Site
  ☆27Updated last week
• deliriusz / foundry-yul-puzzles
  Foundry + Yul puzzles
  ☆33Updated 2 years ago
• AmadiMichael / Huff-Console
  Console.log utility for debugging huff contracts
  ☆69Updated last year
• Philogy / transient-goodies
  ☆44Updated 9 months ago
• kadenzipfel / audit-portfolio
  Publicly available audits and bug reports
  ☆16Updated 3 weeks ago
• 0xKitsune / sstan
  Solidity static analyzer
  ☆83Updated last year
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆97Updated last year
• euler-xyz / evc-playground
  A playground for the Ethereum Vault Connector (EVC)
  ☆42Updated last year
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆111Updated last year