GitHub repository: runtimeverification/kasmer-multiversx
Primary language: WebAssembly
Description: Wasm semantics for the Elrond/MultiversX blockchain network