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