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