Alternatives and similar repositories for verified-smart-contracts

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

• ConsenSysDiligence / mythxjs
  ☆29Updated last year
• thorchain / Resources
  Resources for the THORChain Project; whitepapers, branding, fonts, logos, documents
  ☆76Updated 7 months ago
• BarnBridge / BarnBridge-PM
  BarnBridge Project Management
  ☆26Updated 3 years ago
• 0xPolygon / tendermint
  ⟁ Tendermint Core (BFT Consensus) in Go
  ☆24Updated 4 months ago
• pancakeswap / pancake-v2-subgraph
  [ARCHIVED] PancakeSwap v2 subgraph
  ☆19Updated 4 years ago
• sky-ecosystem / dss-proxy-actions
  Set of proxy functions for MCD (using mcd-cdp-handler)
  ☆74Updated 2 years ago
• balancer / erc20-redeemable
  ☆81Updated 2 years ago
• sablier-labs / legacy-subgraph
  Subgraph for the Sablier Legacy protocol
  ☆30Updated 10 months ago
• CreamFi / cream-docs
  C.R.E.A.M. Finance Documentation
  ☆33Updated 4 months ago
• celer-network / layer2-finance-contracts
  Contracts for the Layer 2 Finance DeFi aggregator, powered by optimistic rollup.
  ☆51Updated 2 years ago
• Instadapp / dsa-sdk
  Build DeFi apps instantly using our SDK
  ☆79Updated 4 years ago
• AmbireTech / adex-protocol-eth
  Ethereum implementation of the Ambire Protocol: Ambire Wallet contracts and AdEx payment channels
  ☆55Updated 7 months ago
• Fantom-foundation / Fantom-DeFi
  Fantom DeFi smart contract implementation of the FLend, FTrade and FMint functions.
  ☆28Updated 5 years ago
• Instadapp / dsa-connect
  Development quickstart to interact with DSA smart contracts.
  ☆72Updated 2 weeks ago
• sky-ecosystem / dss-deploy-scripts
  ☆49Updated 2 years ago
• Uniswap / retroactive-query
  👀⬅️ Queries for surfacing information about past users of Uniswap
  ☆116Updated 5 years ago
• balancer / assets
  ☆27Updated 2 years ago
• thenetworkfirm / proof-of-reserves-merkle-tree-tool
  ☆20Updated 2 years ago
• anyswap / CrossChain-Router
  ☆71Updated 2 years ago
• yearn / ycredit.finance
  StableCreditProtocol, decentralized lending and AMM platform
  ☆37Updated 3 years ago
• Zapper-fi / Docs
  ☆26Updated 3 years ago
• INFURA / devp2p-network
  Tools for analyzing the DevP2P network
  ☆33Updated 2 years ago
• anyswap / anyswap-frontend
  ☆68Updated last year
• UMAprotocol / UMIPs
  UMA Improvement Proposal repository
  ☆70Updated 2 months ago
• bnb-chain / awesome
  A curated list of awesome projects in BNB Chain ecosystem
  ☆52Updated 5 months ago
• balancer / bal-mining-scripts
  ☆85Updated last year
• balancer / frontend-v1
  V1 Pool Management
  ☆74Updated last year
• dappnode / DAppNodeSDK
  dappnodesdk is a tool to mantain dappnode packages. It helps to initialize and publish an Aragon Package Manager Repository
  ☆68Updated this week
• dydxprotocol / exchange-wrappers
  💱🍬Collection of exchange wrapper contracts used by the dYdX Protocol
  ☆70Updated 3 years ago
• Instadapp / assembly
  The Open Source Dashboard for the Instadapp Protocol
  ☆35Updated 2 years ago