Alternatives and similar repositories for audits

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

• alchemix-finance / v2-foundry
  Foundry-based repo for V2 tools, expansions, new vaults, and surrounding infrastructure.
  ☆139Updated this week
• BeanstalkFarms / Basin
  A composable EVM-native decentralized exchange protocol.
  ☆57Updated 8 months ago
• Certora / Examples
  An index repository with submodules for different examples of Certora projects
  ☆154Updated last week
• euler-xyz / euler-price-oracle
  Euler Price Oracles, a library of immutable oracle adapters and components
  ☆66Updated 2 months ago
• security-alliance / safe-harbor
  ☆75Updated 5 months ago
• RareSkills / uniswap-v2-puzzles
  ☆55Updated 5 months ago
• morpho-org / metamorpho
  MetaMorpho
  ☆113Updated 2 months ago
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆43Updated last year
• lucas-manuel / invariant-examples
  ☆165Updated last year
• silo-finance / silo-core-v1
  ☆45Updated 8 months ago
• chainlight-io / publications
  ☆87Updated 3 months ago
• Philogy / meth-weth
  The most optimized ERC20 & Wrapped Ether implementation.
  ☆145Updated last year
• yearn / tokenized-strategy-foundry-mix
  Create Yearn V3 "Tokenized Strategies" using Foundry
  ☆68Updated last week
• spearbit-audits / audit-template
  ☆36Updated last year
• yearn / tokenized-strategy
  Contains the Contracts for the Yearn V3 Tokenized Strategy Implementation
  ☆129Updated 7 months ago
• morpho-org / morpho-optimizers
  Core contracts of Morpho Optimizers.
  ☆138Updated 3 months ago
• sherlock-audit / 2023-01-optimism-judging
  ☆30Updated 2 years ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆96Updated last year
• ustas-eth / zkEVM-Bootcamp
  My homework and notes on zkEVM Bootcamp by zkSync and Encode Club
  ☆66Updated 6 months ago
• theredguild / 7702-goat
  Intentionally flawed code with potential pitfalls in custom contracts for EIP7702 delegate accounts.
  ☆54Updated 4 months ago
• OpenZeppelin / uniswap-hooks
  Solidity library for secure and modular Uniswap hooks.
  ☆83Updated last week
• sudoswap / lssvm2
  ☆47Updated last year
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆55Updated 4 months ago
• devtooligan / etherrealms-player-class-guide
  ☆61Updated last year
• euler-xyz / ethereum-vault-connector
  The Ethereum Vault Connector (EVC) is a mediator between Vaults that may have borrowing functionality.
  ☆133Updated last week
• OpenZeppelin / openzeppelin-community-contracts
  Solidity library of smart contracts from the OpenZeppelin Community
  ☆58Updated this week
• jtriley2p / token-types
  Efficient Type Driven Smart Contract Interactions
  ☆108Updated last year
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆76Updated last year
• erc7579 / erc7579-implementation
  Reference implementation for ERC-7579
  ☆109Updated 3 months ago
• ithacaxyz / odyssey-examples
  Walkthroughs to leverage Odyssey's features from the future.
  ☆105Updated last week