Alternatives and similar repositories for audits:

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

• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆95Updated last year
• Certora / Examples
  An index repository with submodules for different examples of Certora projects
  ☆136Updated this week
• euler-xyz / euler-price-oracle
  Euler Price Oracles, a library of immutable oracle adapters and components
  ☆64Updated last week
• alchemix-finance / v2-foundry
  Foundry-based repo for V2 tools, expansions, new vaults, and surrounding infrastructure.
  ☆121Updated last week
• security-alliance / safe-harbor
  ☆72Updated 3 months ago
• silo-finance / silo-core-v1
  ☆45Updated 6 months ago
• BeanstalkFarms / Basin
  A composable EVM-native decentralized exchange protocol.
  ☆57Updated 6 months ago
• exp-table / pigeon
  Simulate cross-chain protocols txs, easily.
  ☆147Updated last month
• ebtc-protocol / ebtc
  ☆56Updated 2 weeks ago
• ZeroEkkusu / solx
  Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.
  ☆56Updated 7 months ago
• spearbit-audits / audit-template
  ☆36Updated last year
• Philogy / meth-weth
  The most optimized ERC20 & Wrapped Ether implementation.
  ☆145Updated last year
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆43Updated last year
• FastLane-Labs / atlas
  An Execution Abstraction framework that allows apps, frontends, and oracles to fulfill their users' intents and retain their users' MEV b…
  ☆150Updated 3 weeks ago
• lucas-manuel / invariant-examples
  ☆164Updated last year
• marktoda / forge-gas-snapshot
  Library for checked-in, targeted gas snapshots with forge
  ☆97Updated 6 months ago
• devtooligan / solpretty
  A library for pretty printing numbers in Solidity
  ☆75Updated last year
• sphinx-labs / chugsplash-foundry
  A Foundry library for deploying and managing upgradeable smart contracts
  ☆96Updated last year
• CrocSwap / CrocSwap-protocol
  Decentralized exchange with concentrated liquidity and low gas fees
  ☆78Updated 3 weeks ago
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆97Updated 4 months ago
• Dedaub / audits
  Repository containing past audit reports
  ☆54Updated last year
• morpho-org / morpho-optimizers
  Core contracts of Morpho Optimizers.
  ☆138Updated last month
• flashbots / suapp-examples
  SUAVE Application Examples
  ☆57Updated 4 months ago
• RareSkills / noir-puzzles
  ☆54Updated last year
• mangrovedao / mangrove-core
  🌴 Core smart contracts for Mangrove with deployment scripts and example offer logics
  ☆46Updated this week
• paco0x / kyber-exploit-example
  reproduce kyber-elastic exploit
  ☆72Updated last year
• Rubilmax / foundry-storage-check
  🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests…
  ☆96Updated 2 weeks ago
• Vectorized / soledge
  Solidity snippets too edgy to be in Solady
  ☆113Updated 7 months ago
• yearn / tokenized-strategy
  Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation
  ☆126Updated 5 months ago
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆111Updated 11 months ago