GitHub repository: msooseth/hevm
Primary language: Haskell
Description: symbolic EVM evaluator