Alternatives and similar repositories for audits

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

• morpho-org / morpho-aavev3-optimizer
  Core contracts of Morpho Optimizers on AaveV3
  ☆42Updated last month
• lucas-manuel / invariant-examples
  ☆164Updated 2 years ago
• spearbit-audits / audit-template
  ☆35Updated 2 years ago
• silo-finance / silo-core-v1
  ☆46Updated last year
• abdk-consulting / audits
  Database of public audits made by ABDK Consulting
  ☆90Updated this week
• sherlock-audit / 2023-04-footium-judging
  ☆12Updated 2 years ago
• maple-labs / maple-core-v2
  ☆159Updated last month
• StErMi / forge-damn-vulnerable-defi
  ☆66Updated 2 years ago
• code-423n4 / 2023-07-basin
  ☆10Updated last year
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆75Updated 2 years ago
• euler-xyz / evc-playground
  A playground for the Ethereum Vault Connector (EVC)
  ☆42Updated last year
• euler-xyz / euler-price-oracle
  Euler Price Oracles, a library of immutable oracle adapters and components
  ☆79Updated last month
• morpho-org / morpho-optimizers
  Core contracts of Morpho Optimizers.
  ☆139Updated 8 months ago
• redtrama / awesome-halmos
  List of Halmos resources.
  ☆57Updated 9 months ago
• code-423n4 / 2023-05-maia
  ☆16Updated last year
• electisec / Solidity-Proxy-Playground
  The good, the bad, and the ugly of proxy implementations
  ☆104Updated last year
• one-hundred-proof / kyberswap-exploit
  PoC of KyberSwap double liquidity add exploit
  ☆42Updated 2 years ago
• nevillehuang / Portfolio
  ☆41Updated 3 months ago
• BeanstalkFarms / Basin
  A composable EVM-native decentralized exchange protocol.
  ☆56Updated 2 months ago
• RareSkills / vertigo-rs
  Mutation Testing for Ethereum Smart Contracts, support for Foundry
  ☆128Updated last year
• Recon-Fuzz / chimera
  Smart Contract Property-Based Testing Framework
  ☆135Updated 8 months ago
• lidofinance / diffyscan
  Diff your Github against Etherscan.
  ☆140Updated last week
• nomad-xyz / ExcessivelySafeCall
  excessively safe solidity calls
  ☆239Updated 2 years ago
• AmadiMichael / UniswapV2-Huff
  Optimised Uniswap V2 contracts written in Huff language
  ☆112Updated last year
• timeless-fi / yield-daddy
  ERC-4626 wrappers for common yield-generating platforms
  ☆145Updated 10 months ago
• aviggiano / security
  Security Reviews and Audit Checklists
  ☆123Updated 4 months ago
• pcaversaccio / malleable-signatures
  This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…
  ☆113Updated this week
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆97Updated last year
• solidity-labs-io / forge-proposal-simulator
  Standard way to simulate governance actions from a timelock, multisig, or DAO.
  ☆73Updated 5 months ago
• electisec / fellowship-audits
  ☆55Updated 3 months ago