GitHub repository: viperproject/2vyper
Primary language: Python
Description: A static verifer for Ethereum Smart Contracts written in Vyper