GitHub repository: runtimeverification/py-wasm
Primary language: WebAssembly
Description: A python implementation of the web assembly interpreter