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