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