GitHub repository: runtimeverification/evm-semantics
Primary language: Python
Description: K Semantics of the Ethereum Virtual Machine (EVM)