GitHub repository: runtimeverification/kevm-ethereumjs-vm
Primary language: JavaScript
Description: The Ethereum VM implemented in Javascript