Alternatives and similar repositories for audits

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

• code-423n4 / 2023-05-ajna
  ☆11Updated last year
• sherlock-audit / 2023-04-footium-judging
  ☆12Updated last year
• morpho-org / morpho-aavev3-optimizer
  Core contracts of Morpho Optimizers on AaveV3
  ☆40Updated last month
• code-423n4 / 2022-05-velodrome
  ☆15Updated last year
• code-423n4 / 2023-01-astaria
  ☆14Updated last year
• code-423n4 / 2022-05-sturdy
  ☆9Updated last year
• code-423n4 / 2023-02-ethos
  ☆16Updated last year
• GenerationSoftware / pt-v5-draw-auction
  ☆12Updated last year
• GenerationSoftware / pt-v5-vault-boost
  ☆11Updated 2 months ago
• code-423n4 / 2023-07-basin
  ☆10Updated last year
• GenerationSoftware / pt-v5-cgda-liquidator
  ☆13Updated last year
• sherlock-audit / 2023-03-notional-judging
  ☆12Updated last year
• ebtc-protocol / ebtc
  ☆56Updated 2 months ago
• sherlock-audit / 2023-02-gmx-judging
  ☆22Updated 2 years ago
• yearn / tokenized-strategy-foundry-mix
  Create Yearn V3 "Tokenized Strategies" using Foundry
  ☆68Updated this week
• code-423n4 / 2023-05-maia
  ☆16Updated last year
• code-423n4 / 2022-12-caviar
  ☆8Updated last year
• equilibria-xyz / root
  Core library for DeFi.
  ☆30Updated this week
• GenerationSoftware / pt-v5-prize-pool
  ☆53Updated 3 months ago
• sherlock-audit / 2023-04-blueberry
  ☆9Updated 2 years ago
• code-423n4 / 2022-07-golom
  ☆10Updated last year
• BeanstalkFarms / Basin
  A composable EVM-native decentralized exchange protocol.
  ☆57Updated 7 months ago
• GenerationSoftware / pt-v5-vault
  ☆65Updated last month
• code-423n4 / 2023-06-lybra
  ☆10Updated last year
• LybraFinance / LybraV2
  ☆26Updated last year
• Cyfrin / 2023-07-beedle
  ☆27Updated 11 months ago
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 9 months ago
• ProjectOpenSea / seaport-core
  Core Seaport smart contracts
  ☆50Updated last year
• solidity-labs-io / forge-proposal-simulator
  Standard way to simulate governance actions from a timelock, multisig, or DAO.
  ☆70Updated 7 months ago
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆77Updated last year