Alternatives and similar repositories for audits

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

• Certora / CaptureTheSpec
  ☆28Updated 10 months ago
• sherlock-audit / 2023-02-gmx-judging
  ☆21Updated 2 years ago
• code-423n4 / 2024-08-superposition
  ☆17Updated 10 months ago
• sparkdotfi / spark-psm
  Implementation of a PSM to swap between USDC, USDS, and sUSDS on L2s.
  ☆64Updated 3 months ago
• Tapioca-DAO / tapioca-periph
  ☆36Updated 11 months ago
• code-423n4 / 2024-08-wildcat
  ☆21Updated 10 months ago
• code-423n4 / 2023-03-asymmetry
  ☆22Updated last year
• code-423n4 / 2024-05-predy
  ☆13Updated last year
• GenerationSoftware / pt-v5-vault
  ☆66Updated last month
• DyadStablecoin / contracts
  The contracts for the DYAD ecosystem.
  ☆38Updated 6 months ago
• sky-ecosystem / sdai
  A tokenized wrapper around the DSR.
  ☆41Updated 11 months ago
• morpho-org / morpho-blue-irm
  Morpho Blue Interest Rate Models
  ☆33Updated last month
• decentxyz / decent-bridge
  The Bridgoooooooor
  ☆25Updated 8 months ago
• sparkdotfi / xchain-helpers
  ☆27Updated last week
• sky-ecosystem / endgame-toolkit
  Smart contract modules to enable MakerDAO Endgame.
  ☆53Updated 2 months ago
• code-423n4 / 2024-08-phi
  ☆20Updated 11 months ago
• GenerationSoftware / pt-v5-prize-pool
  ☆54Updated 6 months ago
• Cork-Technology / Depeg-swap
  ☆70Updated 2 months ago
• code-423n4 / 2024-02-ai-arena
  ☆12Updated last year
• sparkdotfi / xchain-ssr-oracle
  Cross chain Sky Savings Rate (SSR) Oracle as a public resource.
  ☆36Updated 3 months ago
• SYMM-IO / protocol-core
  Version v0.82 of the SYMM I/O protocol implementation.
  ☆38Updated last week
• BeanstalkFarms / Basin
  A composable EVM-native decentralized exchange protocol.
  ☆56Updated 10 months ago
• code-423n4 / 2024-06-vultisig
  ☆13Updated last year
• mellow-finance / mellow-lrt
  ☆16Updated 3 months ago
• code-423n4 / 2023-05-chainlink
  ☆19Updated last year
• code-423n4 / 2024-04-dyad
  ☆10Updated last year
• AngleProtocol / angle-transmuter
  ⚗️ Smart contracts for Transmuter, an autonomous and modular price stability module for decentralized stablecoin protocols
  ☆31Updated 9 months ago
• sky-ecosystem / sky
  ☆23Updated 3 months ago
• ebtc-protocol / ebtc
  ☆55Updated 5 months ago
• code-423n4 / 2024-05-loop
  ☆14Updated last year