Error
Looks like something went wrong!

About

Wasm SpecTec specification tools

wasm-dsl.github.io/spectec/

Custom properties

Report repository

Releases

Packages

No packages published

Languages

WebAssembly 87.4%
OCaml 5.9%
Python 4.1%
JavaScript 1.4%
Bikeshed 0.7%
Makefile 0.2%
Other 0.3%