SpecTec

A DSL in which the syntax and semantics of Wasm can be specified faithfully, for generating specification artifacts for WebAssembly from that single source of truth.