Alternatives and similar repositories for verified-vyper-contracts

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

• Ohalo-Ltd / solevm
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆78Updated 6 years ago
• smartcontracts / more-minimal-plasma
  More Minimal Plasma
  ☆45Updated 6 years ago
• plasma-group / ovm
  OVM specs & contracts
  ☆36Updated 2 years ago
• maticnetwork / sol-trace
  Trace runtime failures for solidity
  ☆31Updated 6 years ago
• plasma-group / pigi
  M O N O R E P O
  ☆69Updated 2 years ago
• leapdao / solEVM-enforcer
  Partial implementation of the Ethereum runtime in Solidity (PoC)
  ☆102Updated 2 years ago
• tsuzukit / meta-transaction
  Ethereum meta-transaction concept
  ☆33Updated 3 years ago
• gnosis / dex-research
  Collection of research papers written within Gnosis
  ☆92Updated 3 years ago
• LayerXcom / vyper-remix
  Remix Vyper Plugin
  ☆18Updated 5 years ago
• authereum / contracts
  🛡️ Authereum smart contracts
  ☆56Updated 3 years ago
• ethereum / twig
  ☆14Updated 6 years ago
• plasma-group / research
  Random research and simulations
  ☆16Updated 6 years ago
• ethereum934 / eth-mimblewimble
  Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum
  ☆81Updated 2 years ago
• ethereum-mousse / mousse
  An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications
  ☆48Updated 4 years ago
• kyokan / plasma
  Golang implementation and extension of the Minimum Viable Plasma specification
  ☆70Updated 4 years ago
• status-im / vyper-debug
  Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)
  ☆28Updated 6 years ago
• cbc-casper / cbc-casper-paper
  An Introduction to CBC Casper Consensus Protocols
  ☆137Updated 6 years ago
• 5afe / safe-relay-service
  Relay Tx Service for Gnosis Safe
  ☆59Updated 2 years ago
• ethsecurity / berlin-workshop
  This is a repo which serves to design and develop the website which contains ETHSecurity resources.
  ☆25Updated 6 years ago
• austintgriffith / token-subscription
  💰🕰️📋[EIP 1337 POC] Recurring subscriptions on the Ethereum blockchain powered by meta transactions.
  ☆77Updated 4 years ago
• voltairelabs / plasma
  Ethereum plasma implementation
  ☆49Updated 7 years ago
• renproject / darknode-sol
  An implementation of Darknode smart contracts, written in Solidity
  ☆85Updated 2 years ago
• UMAprotocol / whitepaper
  ☆79Updated 5 years ago
• omgnetwork / plasma-contracts
  Root chain contracts for Plasma
  ☆115Updated 2 years ago
• lorenzb / proveth
  Generate & verify Merkle-Patricia-proofs for Ethereum
  ☆111Updated 2 years ago
• loomnetwork / plasma-cli
  All In One stateful Plasma-Cash client, browser compatible
  ☆43Updated 2 years ago
• relevant-community / contracts
  Relevant Bonding Curve and Token Contracts
  ☆77Updated 7 years ago
• dpilch / solmd
  Markdown documentation generator for Solidity
  ☆34Updated 3 years ago
• Arachnid / sggc
  Boilerplate and tests for the first Solidity Gas Golfing Contest
  ☆51Updated 7 years ago
• chriseth / patricia-trie
  ☆64Updated 3 years ago