WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices,…

A WASI shim for in the browser

A CustomElement trait to create Rust/WASM Web Components/Custom Elements easily without writing any JavaScript.

Virtual Machine for the Web

Cheerp - a C/C++ compiler for Web applications - compiles to WebAssembly and JavaScript

C++ to JavaScript/WebAssembly compiler

A lightweight library for portable low-level GPU computation using WebGPU.

A Wasm environment for cross-platform, sandboxed graphical applications.

Formalising the WASM spec in Lean

Tool for compiling Lean to WASM