GitHub repository: zchn/ethereum-analyzer
Primary language: Haskell
Description: An Ethereum contract analyzer.