Alternatives and similar repositories for ethereum-verified-contracts

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

• nanexcool / defi18n
  Free translation strings for dapps and crypto wallets.
  ☆44Updated 4 years ago
• ZeframLou / pooled-cdai
  Pools DAI, converts it into Compound DAI, and sends interests to a beneficiary. Users putting DAI into the pool receives Pooled cDAI (pcD…
  ☆49Updated 2 years ago
• anydotcrypto / docs.any.sender
  Documentation for the any.sender transaction relaying service
  ☆56Updated 5 years ago
• ConsenSysDiligence / security-workshop-for-devs
  Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
  ☆70Updated 5 years ago
• jordanlyall / dai-universe
  Money legos all the way down
  ☆116Updated 5 years ago
• shanefontaine / ethereum-wallet-comparison
  💰 Ethereum Wallet Comparison
  ☆54Updated 3 years ago
• dharma-eng / Tiramisu
  Tiramisu is a "Layer Two" system for scalable token transfers that prioritizes simplicity.
  ☆74Updated 2 years ago
• eth-sri / soltix
  SOLTIX: Scalable automated framework for testing Solidity compilers.
  ☆36Updated 4 years ago
• leapdao / solEVM-enforcer
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆102Updated 2 years ago
• fredexed / crypto-funding-ops
  A handy guide to funding opportunities within the crypto-ecosystem
  ☆79Updated 7 years ago
• Arachnid / sggc
  Boilerplate and tests for the first Solidity Gas Golfing Contest
  ☆51Updated 7 years ago
• okwme / BatchedBondingCurves
  Automatic market maker with batched buy & sell orders
  ☆32Updated 3 years ago
• ChainShot / Builder
  An IDE for building Code Tutorials
  ☆43Updated 3 years ago
• sky-ecosystem / price-feed
  price feed, with expiration and medianizer poke
  ☆33Updated 4 years ago
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆59Updated 5 years ago
• Instadapp / smart-contract
  InstaDApp Smart Contracts.
  ☆62Updated 5 years ago
• SetProtocol / setprotocol.js
  🥞 Javascript library for a collateralized basket of ERC20 tokens
  ☆54Updated 3 years ago
• mdcoon / truffle-proxy
  Upgradeable contract support in Truffle
  ☆14Updated 3 years ago
• OpenZeppelin / openzeppelin-gsn-provider
  Web3 provider for the Gas Station Network
  ☆38Updated 5 years ago
• ChainSafe / denode
  a mechanism for incentivizing full nodes
  ☆23Updated 6 years ago
• 0xProject / dev-tools-truffle-example
  An example Truffle project showing how to use the 0x Dev Tools with the Truffle framework
  ☆29Updated 2 years ago
• opynfinance / Convexity-Protocol-Archived
  ☆39Updated 5 years ago
• marbleprotocol / polaris
  ✨A trustless price oracle for ERC20 tokens
  ☆30Updated 6 years ago
• sky-ecosystem / scd-cdp-portal
  Single-Collateral Dai CDP Portal
  ☆20Updated 3 years ago
• jpitts / eth-community-discussions
  Interesting discussions within the Ethereum community.
  ☆48Updated 3 years ago
• dapphub / chai
  ERC20 wrapper over the Dai Savings Rate
  ☆147Updated 5 years ago
• ConsenSysDiligence / mythx-playground
  Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence
  ☆39Updated 5 years ago
• dOrgTech / OpenRaise
  Bonding Curves For DAOs
  ☆76Updated 4 years ago
• PaulRBerg / erc2212
  Reference implementation for ERC-2212
  ☆12Updated 4 years ago
• ricmoo / will-o-the-wisp
  Intentionally self-destructive Ethereal on-chain-ish Wallet. (Proof-of-Concept bootstrap technique with CREATE2)
  ☆35Updated 6 years ago