Threads and Atomics in WebAssembly
This repository contains the official WebAssembly specification and a reference implementation. The specification documents are built using Sphinx and Bikeshed, supporting output formats including multi-page HTML, single-page HTML, and PDF, and are maintained for publication at webassembly.github.io/spec. The reference interpreter, written in OCaml for clarity rather than performance, can decode and validate WebAssembly modules in binary or text format, execute scripts with assertions, convert between formats, and run interactively or as a JavaScript library; it uses S-expression syntax to represent the WebAssembly abstract syntax tree and supports a scripting language for testing purposes.