WASI API

Development of the WASI API has now moved to the WASI CG Subgroup; see the github repository, including the API documentation.