Alternatives and similar repositories for audits

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

• Cyfrin / assembly-evm-opcodes-and-formal-verification-course
  ☆114Updated 4 months ago
• andreitoma8 / learn-yul
  Educational notes on Yul (Solidity Assembly) and how to use it inside Solidity Smart Contracts.
  ☆245Updated 6 months ago
• Sabnock01 / uniswap-resources
  All things Uniswap
  ☆184Updated last year
• transmissions11 / headers
  Generate perfect code headers every time.
  ☆330Updated last year
• Cyfrin / foundry-era-contracts
  ☆23Updated last year
• RareSkills / huff-puzzles
  These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
  ☆398Updated last year
• t4sk / hello-foundry
  ☆128Updated 9 months ago
• alexfertel / bulloak
  Generate tests based on the Branching Tree Technique.
  ☆336Updated last week
• chinmay-farkya / EVM-notes
  ☆113Updated last year
• Cyfrin / advanced-defi-2024
  ☆134Updated last month
• Renzo1 / Security_Auditors_Starter_Pack
  ☆40Updated 11 months ago
• RareSkills / yul-puzzles
  A set of exercises to practice Yul
  ☆99Updated 3 weeks ago
• ConsenSysDiligence / solidity-metrics
  Solidity Code Metrics
  ☆281Updated 9 months ago
• PatrickAlphaC / signatureVerification
  ☆22Updated 2 months ago
• Cyfrin / report-generator-template
  A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.
  ☆39Updated 3 weeks ago
• code-423n4 / 2025-03-nudgexyz
  ☆17Updated 3 months ago
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆336Updated 5 months ago
• Cyfrin / audit-repo-cloner
  A Python package to clone a repo and automatically prepare it for audit report generation
  ☆30Updated 4 months ago
• huff-language / foundry-huff
  A Foundry Library for compiling, debugging, and working with Huff contracts in Solidity.
  ☆274Updated last year
• Perelyn-sama / yul_by_example
  Code examples in Yul
  ☆256Updated last year
• sablier-labs / lockup
  ⏳ Smart contracts of the Sablier Lockup protocol
  ☆335Updated last week
• MiloTruck / audits
  Audits and findings by MiloTruck
  ☆174Updated last month
• RareSkills / Solidity-Exercises
  Exercises to learn solidity. This accompanies the RareSkills Learn Solidity resource.
  ☆315Updated 7 months ago
• secureum / AMAZEX-DSS-PARIS
  ☆91Updated 2 years ago
• horsefacts / weth-invariant-testing
  ☆284Updated last year
• devdacian / ai-auditor-primers
  Primers for Specialist AI Smart Contract Auditors
  ☆210Updated last month
• Cyfrin / web3-dev-containers
  A repo to help users run code in isolated environments. Stay safe big dogs.
  ☆139Updated 2 months ago
• tpiliposian / Immunefi-bugfixes
  The critical bug writeups
  ☆123Updated 10 months ago
• Sir-Shaedy / Ultimate-Foundry-CheatCode
  ☆15Updated 4 months ago
• Cyfrin / evm-wallet-and-post-deployment-course
  ☆44Updated 4 months ago