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