GitHub repository: womeier/WasmCert-Coq
Primary language: Coq
Description: A mechanisation of Wasm in Coq