Alternatives and similar repositories for verified-vyper-contracts

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

• smartcontracts / more-minimal-plasma
  More Minimal Plasma
  ☆45Updated 7 years ago
• Ohalo-Ltd / solevm
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆78Updated 7 years ago
• plasma-group / pigi
  M O N O R E P O
  ☆69Updated 3 years ago
• FourthState / plasma-mvp-rootchain
  smart contract implementation according to the Plasma MVP spec.
  ☆79Updated 3 years ago
• plasma-group / ovm
  OVM specs & contracts
  ☆36Updated 3 years ago
• loomnetwork / plasma-cli
  All In One stateful Plasma-Cash client, browser compatible
  ☆43Updated 3 years ago
• omgnetwork / plasma-contracts
  Root chain contracts for Plasma
  ☆115Updated 2 years ago
• maticnetwork / sol-trace
  Trace runtime failures for solidity
  ☆31Updated 6 years ago
• FourthState / plasma-research
  Research documents related to our implementation
  ☆43Updated 7 years ago
• leapdao / solEVM-enforcer
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆102Updated 2 years ago
• LayerXcom / vyper-remix
  Remix Vyper Plugin
  ☆19Updated 5 years ago
• kyokan / plasma
  Golang implementation and extension of the Minimum Viable Plasma specification
  ☆70Updated 4 years ago
• austintgriffith / token-subscription
  💰🕰️📋[EIP 1337 POC] Recurring subscriptions on the Ethereum blockchain powered by meta transactions.
  ☆77Updated 4 years ago
• snario / zknifty
  🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs
  ☆97Updated 7 years ago
• tsuzukit / meta-transaction
  Ethereum meta-transaction concept
  ☆33Updated 4 years ago
• BANKEX / solidity-float-point-calculation
  Proof of concept of basic math operation with Solidity
  ☆57Updated 7 years ago
• cbc-casper / cbc-casper-paper
  An Introduction to CBC Casper Consensus Protocols
  ☆137Updated 6 years ago
• Instadapp / smart-contract
  InstaDApp Smart Contracts.
  ☆62Updated 5 years ago
• voltairelabs / plasma
  Ethereum plasma implementation
  ☆49Updated 7 years ago
• ethsociety / learn-plasma
  Learn all about Plasma with LearnPlasma!
  ☆180Updated 2 years ago
• authereum / contracts
  🛡️ Authereum smart contracts
  ☆55Updated 3 years ago
• relevant-community / contracts
  Relevant Bonding Curve and Token Contracts
  ☆77Updated 7 years ago
• chriseth / patricia-trie
  ☆64Updated 3 years ago
• 5afe / safe-relay-service
  Relay Tx Service for Gnosis Safe
  ☆59Updated 2 years ago
• ameensol / merkle-tree-solidity
  JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.
  ☆111Updated last year
• ConsenSysDiligence / security-workshop-for-devs
  Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
  ☆70Updated 5 years ago
• BANKEX / PlasmaParentContract
  Main chain smart contract for Bankex Plasma implementation
  ☆46Updated 7 years ago
• cryptofinlabs / cryptofin-solidity
  A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.
  ☆86Updated 6 years ago
• raiden-network / raiden-contracts
  Raiden Network Smart Contracts
  ☆55Updated 2 years ago
• loomnetwork / plasma-paper
  Plasma Cash: Towards Improved Plasma Constructions.
  ☆50Updated 6 years ago