Wasm-DSL/spectec

Wasm SpecTec specification tools

116

stars

7,022

commits

WebAssembly

primary language

Sep 9, 2026

updated

wasm-dsl.github.io/spectec/

README

Spectec Status Interpreter Status Spec doc Status

CI for specs CI for interpreter & tests

spec

This repository holds the sources for the WebAssembly specification, a reference implementation, and the official test suite.

A formatted version of the spec is available here: webassembly.github.io/spec,

Participation is welcome. Discussions about new features, significant semantic changes, or any specification change likely to generate substantial discussion should take place in the WebAssembly design repository first, so that this spec repository can remain focused. And please follow the guidelines for contributing.

citing

For citing WebAssembly in LaTeX, use this bibtex file.

Contributors

(top 30 of 218)

rossberg

3,043 commits

ShinWonho

561 commits

f52985

525 commits

jaehyun1ee

256 commits

Wasm-DSL/spectec

Wasm SpecTec specification tools

116

stars

7,022

commits

WebAssembly

primary language

Sep 9, 2026

updated

wasm-dsl.github.io/spectec/

README

Spectec Status Interpreter Status Spec doc Status

CI for specs CI for interpreter & tests

spec

This repository holds the sources for the WebAssembly specification, a reference implementation, and the official test suite.

A formatted version of the spec is available here: webassembly.github.io/spec,

Participation is welcome. Discussions about new features, significant semantic changes, or any specification change likely to generate substantial discussion should take place in the WebAssembly design repository first, so that this spec repository can remain focused. And please follow the guidelines for contributing.

citing

For citing WebAssembly in LaTeX, use this bibtex file.

Contributors

(top 30 of 218)

rossberg

3,043 commits

ShinWonho

561 commits

f52985

525 commits

jaehyun1ee

256 commits

Languages

WebAssembly

86.7%

OCaml

6.4%

Python

4.0%

JavaScript

1.5%