Alternatives and similar repositories for crypto-audits:

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

• pcaversaccio / tornado-cash-exploit
  This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…
  ☆50Updated last week
• PaulRBerg / btt-examples
  Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
  ☆76Updated last year
• moodlezoup / forge-deep
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65Updated last year
• BeanstalkFarms / Basin
  A composable EVM-native decentralized exchange protocol.
  ☆57Updated 5 months ago
• RareSkills / noir-puzzles
  ☆54Updated last year
• clabby / op-kompressor
  A suite of contracts and utilities that enable cheaper transactions on Optimism (and other EVM-equivalent L2s)
  ☆97Updated 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 last week
• devtooligan / solpretty
  A library for pretty printing numbers in Solidity
  ☆75Updated last year
• abdk-consulting / audits
  Database of public audits made by ABDK Consulting
  ☆68Updated this week
• zobront / halmos-solady
  Formally verifying consistency between Solmate and Solady using Halmos
  ☆54Updated 7 months ago
• d1ll0n / abi-lity
  Solidity codegen tool for efficient ABI encoding/decoding.
  ☆93Updated 5 months ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated last year
• security-alliance / safe-harbor
  ☆71Updated 2 months ago
• darkforestry / zero-seeker
  ☆95Updated last year
• jtriley2p / ether-deck
  ☆98Updated last year
• trust1995 / flashcash
  Identify flashloan bots in multiple chains
  ☆34Updated 2 years ago
• saucepoint / foundry-arbitrum
  Cross-chain message testing for Arbitrum with Foundry
  ☆66Updated 2 years ago
• 0xethsign / Account2
  Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking
  ☆78Updated 2 years ago
• 0xfuturistic / zkUniswap
  🦄 UniswapV3 fork that computes swaps off-chain via a zkVM
  ☆84Updated last year
• crytic / amarna
  Amarna is a static-analyzer and linter for the Cairo programming language.
  ☆148Updated last month
• ZeroEkkusu / solx
  Solidity × 𝙖𝙣𝙮 𝙡𝙖𝙣𝙜𝙪𝙖𝙜𝙚 transpiler for Foundry tests & scripts.
  ☆56Updated 7 months ago
• CodeForcer / foundry-yul
  Foundry + Yul template
  ☆95Updated last year
• whetstoneresearch / doppler
  Core contracts for the Doppler Protocol
  ☆46Updated this week
• euler-xyz / euler-price-oracle
  Euler Price Oracles, a library of immutable oracle adapters and components
  ☆62Updated this week
• ajna-finance / audits
  Audits of Ajna protocol
  ☆18Updated last year
• Vectorized / soledge
  Solidity snippets too edgy to be in Solady
  ☆113Updated 7 months ago
• alchemix-finance / v2-foundry
  Foundry-based repo for V2 tools, expansions, new vaults, and surrounding infrastructure.
  ☆115Updated last week
• 0xFableOrg / xchain
  Cross-chain interop research, funded by Optimism Governance.
  ☆57Updated 2 months ago
• Instadapp / fluid-contracts-public
  Public repository for the Fluid Contracts from Instadapp
  ☆42Updated 2 weeks ago
• jtriley2p / smart-types
  ☆70Updated last year