Alternatives and similar repositories for verified-smart-contracts

Users that are interested in verified-smart-contracts are comparing it to the libraries listed below

• Instadapp / dsa-connect
  Development quickstart to interact with DSA smart contracts.
  ☆71Updated this week
• celer-network / layer2-finance-contracts
  Contracts for the Layer 2 Finance DeFi aggregator, powered by optimistic rollup.
  ☆51Updated 2 years ago
• ethereum / eth-wiki
  Ethereum Wiki
  ☆47Updated 3 years ago
• sablier-labs / legacy-subgraph
  Subgraph for the Sablier Legacy protocol
  ☆30Updated 9 months ago
• pancakeswap / pancake-v2-subgraph
  [ARCHIVED] PancakeSwap v2 subgraph
  ☆19Updated 4 years ago
• Uniswap / retroactive-query
  👀⬅️ Queries for surfacing information about past users of Uniswap
  ☆115Updated 5 years ago
• ConsenSysDiligence / mythxjs
  ☆29Updated last year
• UMAprotocol / UMIPs
  UMA Improvement Proposal repository
  ☆69Updated 3 weeks ago
• ethereum-lists / mETHadata
  metadata for ETHereum addresses (tokens, accounts, ..)
  ☆37Updated 4 years ago
• Zapper-fi / Docs
  ☆26Updated 3 years ago
• thenetworkfirm / proof-of-reserves-merkle-tree-tool
  ☆20Updated 2 years ago
• rmeissner / py-eth-sig-utils
  Collection of python functions to generate hashes for signing on Ethereum
  ☆27Updated 3 years ago
• sky-ecosystem / dss-deploy-scripts
  ☆49Updated 2 years ago
• yearn / ycredit.finance
  StableCreditProtocol, decentralized lending and AMM platform
  ☆37Updated 3 years ago
• Instadapp / assembly
  The Open Source Dashboard for the Instadapp Protocol
  ☆35Updated 2 years ago
• BarnBridge / BarnBridge-PM
  BarnBridge Project Management
  ☆27Updated 2 years ago
• thorchain / Resources
  Resources for the THORChain Project; whitepapers, branding, fonts, logos, documents
  ☆76Updated 5 months ago
• sky-ecosystem / integration-examples
  A set of examples of how to use the DAI.js library with various purposes and configs
  ☆56Updated 3 years ago
• sky-ecosystem / dss-proxy-actions
  Set of proxy functions for MCD (using mcd-cdp-handler)
  ☆74Updated 2 years ago
• Uniswap / governance
  🏛 Governance contracts for the Uniswap protocol
  ☆96Updated last year
• ethereum / esp-website
  Website for the Ethereum Foundation's Ecosystem Support Program (ESP):
  ☆56Updated this week
• dappnode / DAppNodeSDK
  dappnodesdk is a tool to mantain dappnode packages. It helps to initialize and publish an Aragon Package Manager Repository
  ☆68Updated last month
• Synthetixio / SIPs
  The Synthetix Improvement Proposal repository
  ☆117Updated 2 weeks ago
• graphprotocol / uniswap-subgraph
  This is for uniswap-v1. If you are looking for the uniswap v2 subgraph, please go to https://github.com/uniswap/uniswap-v2-subgraph
  ☆105Updated 2 years ago
• 5afe / safe-relay-service
  Relay Tx Service for Gnosis Safe
  ☆59Updated 2 years ago
• 0xPolygon / tendermint
  ⟁ Tendermint Core (BFT Consensus) in Go
  ☆24Updated 3 months ago
• anyswap / Anyswap-Audit
  ☆58Updated 2 years ago
• AmbireTech / adex-protocol-eth
  Ethereum implementation of the Ambire Protocol: Ambire Wallet contracts and AdEx payment channels
  ☆55Updated 6 months ago
• Morpher-io / MorpherProtocol
  Morpher Protocol enables trading thousands of markets with perfect liquidity, shorting, leverage, and 24/7 stocks. Built on Ethereum, no …
  ☆38Updated 3 months ago
• sky-ecosystem / mips
  Maker Improvement Proposals (MIPs)
  ☆76Updated last year