GitHub repository: ConsenSys/evm-dafny
Primary language: Dafny
Description: An EVM interpreter in Dafny