Vyper

Repositories

• coq-vyper

  Forked from formalize/coq-vyper

  A Vyper compiler in Coq (just started)
  Coq Apache-2.0 2 0 0 0 Updated Sep 17, 2020

• vyper

  Pythonic Smart Contract Language for the EVM

  python language ethereum ethereum-dapp vyper
  Python Apache-2.0 470 2,725 151 (2 issues need help) 2 Updated Sep 9, 2020

• vvm

  Vyper version manager
  Python MIT 0 0 0 0 Updated Aug 26, 2020

• vscode-vyper

  Forked from tintinweb/vscode-vyper

  Ethereum Vyper language support for Visual Studio Code
  JavaScript 3 0 0 0 Updated Jul 28, 2020

• vim-vyper

  Forked from jacqueswww/vim-vyper

  Vim syntax highlighting for the smart contract programming language Vyper
  Vim script MIT 9 0 0 0 Updated Jul 19, 2020

• verified-vyper-contracts

  Forked from LayerXcom/verified-vyper-contracts

  FVyper: A collection of useful Vyper contracts developed with formal methods
  Python Apache-2.0 9 2 0 0 Updated Jun 28, 2020

• atom-vyper

  Forked from shanefontaine/language-vyper

  Vyper language support in Atom
  MIT 3 1 0 0 Updated Jan 13, 2020

• vyper-static-linux-build Archived

  Forked from jacqueswww/vyper-static-linux-build

  Static Vyper Builds - if you ever just need a binary.
  Shell 1 0 0 0 Updated Nov 12, 2019

• sublime-vyper

  Forked from jacqueswww/sublime-vyper

  Sublime syntax highlighting for Vyper
  4 0 0 0 Updated Oct 23, 2019

• vyper-debug Archived

  Forked from status-im/vyper-debug

  Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)
  Python MIT 6 0 0 0 Updated Jun 7, 2019

• vyper-in-browser Archived

  Forked from jacqueswww/vyper-in-browser

  Vyper running straight in your Browser, thanks to pyodide & wasm.
  JavaScript 2 0 0 0 Updated Mar 3, 2019

• pyodide Archived

  Forked from jacqueswww/pyodide

  The Python scientific stack, compiled to WebAssembly
  Python MPL-2.0 273 0 0 0 Updated Jan 10, 2019

• k-vyper

  Forked from kframework/vyper-semantics

  KVyper: Semantics of Vyper in K
  Python 8 0 0 0 Updated Aug 12, 2018