Alternatives and similar repositories for verified-vyper-contracts

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

• LayerXcom / plasma-mvp-vyper
  Implementation of Minimal Viable Plasma in Vyper
  ☆52Updated 4 years ago
• Ohalo-Ltd / solevm
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆78Updated 6 years ago
• maticnetwork / sol-trace
  Trace runtime failures for solidity
  ☆31Updated 6 years ago
• LayerXcom / vyper-remix
  Remix Vyper Plugin
  ☆18Updated 4 years ago
• LayerXcom / cordage
  Cordage: the blockchain interoperability project!
  ☆53Updated last year
• plasma-group / ovm
  OVM specs & contracts
  ☆36Updated 2 years ago
• ethereum-mousse / mousse
  An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications
  ☆47Updated 4 years ago
• plasma-group / pigi
  M O N O R E P O
  ☆69Updated 2 years ago
• smartcontracts / more-minimal-plasma
  More Minimal Plasma
  ☆45Updated 6 years ago
• umegaya / pb3sol
  protobuf3 compiler plugin for solidity and protobufjs integration support
  ☆27Updated 6 years ago
• loomnetwork / plasma-cli
  All In One stateful Plasma-Cash client, browser compatible
  ☆43Updated 2 years ago
• blocknative / assist
  Blocknative Assist widget for blockchain usability
  ☆55Updated 2 years ago
• smartcontracts / contract-drafts
  Misc repo for draft Solidity contracts.
  ☆12Updated 6 years ago
• tsuzukit / meta-transaction
  Ethereum meta-transaction concept
  ☆33Updated 3 years ago
• leapdao / solEVM-enforcer
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆103Updated 2 years ago
• securitize-io / DSTokenInterfaces
  Digital Securities (DS) protocol interfaces
  ☆38Updated 2 years ago
• maurelian / erc721-vyper
  ERC721 in Vyper
  ☆44Updated 6 years ago
• BANKEX / PlasmaParentContract
  Main chain smart contract for Bankex Plasma implementation
  ☆46Updated 6 years ago
• voltairelabs / plasma
  Ethereum plasma implementation
  ☆49Updated 7 years ago
• status-im / vyper-debug
  Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)
  ☆28Updated 6 years ago
• ewasm / testnet
  Testnet planning & documentation
  ☆65Updated 6 years ago
• ConsenSysDiligence / security-workshop-for-devs
  Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
  ☆70Updated 5 years ago
• authereum / contracts
  🛡️ Authereum smart contracts
  ☆55Updated 3 years ago
• ConsenSysDiligence / 0x_audit_report_2018-07-23
  0x Protocol v2 Audit
  ☆25Updated 5 years ago
• ConsenSysDiligence / bytecode-verifier
  Compile Solidity source code and verify its bytecode matches the blockchain
  ☆89Updated last year
• gnosis / truffle-nice-tools
  A simple yet nice toolset for Truffle Framework development.
  ☆13Updated 3 years ago
• austintgriffith / token-subscription
  💰🕰️📋[EIP 1337 POC] Recurring subscriptions on the Ethereum blockchain powered by meta transactions.
  ☆77Updated 3 years ago
• trufflesuite / drizzle-utils
  A library for interacting with Ethereum smart contracts based on RxJS streams.
  ☆44Updated 2 years ago
• lorenzb / proveth
  Generate & verify Merkle-Patricia-proofs for Ethereum
  ☆109Updated 2 years ago
• relevant-community / contracts
  Relevant Bonding Curve and Token Contracts
  ☆77Updated 6 years ago