https://github.com/runtimeverification/evm-semantics
Python509
2 days ago
K Semantics of the Ethereum Virtual Machine (EVM)
BSD 3-Clause "New" or "Revised" License
Python15bsd-3-clause
4 months ago