GitHub repository: tonybka/etheno
Primary language: Python
Description: Simplify Ethereum security analysis and testing