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 2 years ago
• code-423n4 / 2023-07-basin
  ☆10Updated last year
• code-423n4 / 2022-05-velodrome
  ☆15Updated last year
• code-423n4 / 2023-01-astaria
  ☆14Updated last year
• code-423n4 / 2023-05-maia
  ☆16Updated last year
• code-423n4 / 2022-12-caviar
  ☆8Updated last year
• ebtc-protocol / ebtc
  ☆56Updated 2 months ago
• code-423n4 / 2022-05-sturdy
  ☆9Updated last year
• equilibria-xyz / root
  Core library for DeFi.
  ☆30Updated last week
• morpho-org / morpho-aavev3-optimizer
  Core contracts of Morpho Optimizers on AaveV3
  ☆40Updated last week
• code-423n4 / 2023-06-lybra
  ☆10Updated last year
• GenerationSoftware / pt-v5-draw-auction
  ☆12Updated last year
• GenerationSoftware / pt-v5-vault-boost
  ☆11Updated 3 months ago
• sherlock-audit / 2023-04-blueberry
  ☆9Updated 2 years ago
• GenerationSoftware / pt-v5-prize-pool
  ☆53Updated 4 months ago
• code-423n4 / 2022-07-golom
  ☆10Updated last year
• GuardianAudits / DefenderAudits
  ☆21Updated last year
• BeanstalkFarms / Basin
  A composable EVM-native decentralized exchange protocol.
  ☆57Updated 8 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 last week
• code-423n4 / 2023-02-ethos
  ☆16Updated last year
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 10 months ago
• poolshark-protocol / range
  A range-bound liquidity AMM with native ERC-1155 LP token support.
  ☆31Updated last year
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆76Updated last year
• sudoswap / lssvm2
  ☆47Updated last year
• GenerationSoftware / pt-v5-vault
  ☆65Updated 2 months ago
• sherlock-audit / 2023-03-notional-judging
  ☆12Updated last year
• morpho-org / universal-rewards-distributor
  A universal rewards distributor written in Solidity.
  ☆47Updated 5 months ago
• hookart / protocol
  A NFT-native covered call options protocol.
  ☆36Updated 2 years ago