Awesome

WasmCert

A (in-development) Coq mechanization of WebAssembly specification.

For more background information, see the project report literature Xuan Huang. "A Mechanized Formalization of the WebAssembly Specification in Coq", in RIT Computer Science, 20191 and/or its poster presentation.

The report literature is also indexed in Google Scholar and Semantic Scholar thanks to citations.