Vyper is a Pythonic smart contract programming language created in 2017 as a readable and secure alternative to Solidity for writing EVM smart contracts. With added safety features such as bounds and overflow checking, decidability of contracts, and strong typing, Vyper encourages writing secure and easily auditable smart contracts. Vyper does not intend to be a 100% replacement for Solidity but a complement aimed at increased security. Over 10,000 smart contracts have been published with Vyper.