crytic / slither Python 6.4K 1.2K Static Analyzer for Solidity and Vyper solidity ethereum static-analysis vyper
vyperlang / vyper Python 5.2K 926 Pythonic Smart Contract Language for the EVM vyper language python ethereum