Vyper

Vyper is a Pythonic language for writing smart contracts, introduced in 2017 as a readable, security-focused alternative to Solidity for EVM-based contracts.

It emphasizes safety features such as bounds and overflow checks, contract decidability, and strong typing to help produce secure and auditable code.