Vyper
Vyper is a Pythonic programming language for smart contracts developed in 2017 as a clear and secure alternative to Solidity for creating EVM smart contracts. Incorporating enhanced safety mechanisms like bounds and overflow checks, contract decidability, and robust typing, Vyper promotes the development of secure and readily auditable smart contracts. Vyper aims to complement Solidity rather than completely replace it, focusing on enhanced security. More than 10,000 smart contracts have been created using Vyper.
