Alternatives and similar repositories for audits:

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

• code-423n4 / 2022-12-caviar
  ☆9Updated last year
• sherlock-audit / 2023-04-footium-judging
  ☆13Updated last year
• code-423n4 / 2023-01-astaria
  ☆15Updated last year
• code-423n4 / 2023-05-ajna
  ☆10Updated last year
• code-423n4 / 2023-07-basin
  ☆11Updated last year
• code-423n4 / 2022-05-velodrome
  ☆14Updated last year
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆53Updated 5 months ago
• code-423n4 / 2023-05-maia
  ☆17Updated last year
• code-423n4 / 2022-05-sturdy
  ☆9Updated last year
• code-423n4 / 2022-07-golom
  ☆10Updated last year
• GenerationSoftware / pt-v5-vault-boost
  ☆12Updated last month
• GuardianAudits / DefenderAudits
  ☆22Updated last year
• ecivini / gas-bad
  GasBad is an open-source project that evaluates gas efficiency in Solidity libraries
  ☆66Updated 7 months ago
• code-423n4 / 2022-12-tigris-findings
  ☆8Updated last year
• code-423n4 / 2023-05-venus
  ☆8Updated last year
• yacademy / fellowship-audits
  ☆54Updated last year
• GenerationSoftware / pt-v5-draw-auction
  ☆13Updated 11 months ago
• BeanstalkFarms / Basin
  A composable EVM-native decentralized exchange protocol.
  ☆57Updated 3 months ago
• sherlock-audit / 2023-03-notional-judging
  ☆12Updated last year
• code-423n4 / 2023-02-ethos
  ☆17Updated last year
• spearbit-audits / audit-template
  ☆35Updated last year
• lucas-manuel / invariant-examples
  ☆163Updated last year
• sudoswap / lssvm2
  ☆49Updated 8 months ago
• sherlock-audit / 2023-04-blueberry
  ☆10Updated last year
• ebtc-protocol / ebtc
  ☆56Updated 3 weeks ago
• euler-xyz / evc-playground
  A playground for the Ethereum Vault Connector (EVC)
  ☆40Updated 8 months ago
• solidity-labs-io / forge-proposal-simulator
  Standard way to simulate governance actions from a timelock, multisig, or DAO.
  ☆65Updated 3 months ago
• clabby / op-kompressor
  A suite of contracts and utilities that enable cheaper transactions on Optimism (and other EVM-equivalent L2s)
  ☆98Updated 11 months ago
• ZeroEkkusu / solx
  Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.
  ☆55Updated 5 months ago
• code-423n4 / 2023-05-juicebox
  ☆11Updated last year