appcypher/awesome-wasm-langs

Awesome WebAssembly Languages

WebAssembly, or wasm for short, is a low-level bytecode format that runs in the browser just like JavaScript. It is designed to be faster to parse than JavaScript, as well as faster to execute which makes it a suitable compilation target for new and existing languages.

This repo contains a list of languages that currently compile to or have their VMs in WebAssembly(wasm) :octocat:

Contents

• :chicken: - In Production.

  • C
  • C++
  • Rust
  • Go

• :hatched_chick: - Stable for production usage.

  • .Net
  • AssemblyScript
  • Brainfuck
  • C#
  • Clean
  • Cyber
  • COBOL
  • Dart
  • F#
  • Forth
  • Grain
  • LabVIEW
  • Lobster
  • Lox
  • Lua
  • Nelua
  • Never
  • Rego
    
  • TypeScript
  • Uxn
  • WebAssembly
  • Zig
    

• :hatching_chick: - Unstable but usable.

  • Ada
  • Berry
  • C4wa
  • Coi
  • Crystal
  • D
  • Eclair
  • Eel
  • Elixir
  • Janet
  • Java
  • JavaScript
  • KCL
  • Kotlin/Wasm
  • Lisp
  • Lys
  • Pascal
  • Perl
  • PHP
  • Poetry
  • Python
  • Prolog
  • R
  • Rebol
  • Ring
  • Ruby
    
  • Scheme
  • Swift
  • Tcl
  • V
  • Virgil
  • Wa
  • Wonkey

• :egg: - Work in progress.

  • Ballerina
  • BASIC
  • Co
  • Faust
  • Forest
  • Haskell
  • Julia
  • Kou
  • MoonBit
  • Nerd
  • Nim
  • Ocaml
  • Plorth
  • Roc
  • Theta
  • Wase
  • xcc
    

• :skull_and_crossbones: - Unmaintained or Deprecated

  • Astro Unmaintained
  • Idris Unmaintained
  • Speedy.js Unmaintained
  • Turboscript Unmaintained
  • Wah Unmaintained
  • Walt Unmaintained
  • Wam Unmaintained
  • Wracket Unmaintained

---

.Net ^top⇈

.NET Framework is a software framework developed by Microsoft that runs primarily on Microsoft Windows. It includes a large class library named Framework Class Library (FCL) and provides language interoperability (each language can use code written in other languages) across several programming languages.

• Mono - an open source implementation of Microsoft's .NET Framework based on the ECMA standards for C# and the Common Language Runtime. For a real-work example, see this repository which contains the Windows 10 calculator. The application is built using standard C++ 11 and C++/CX, with a calculation engine that dates back from 1995. Made by possible with mono via Uno Platform.
• Blazor - a web UI framework using C#/Razor and HTML, running client-side via WebAssembly. Source is maintained on ASP.Net Core repo.
• Bolero - Bolero brings Blazor to F# developers with an easy to use Model-View-Update architecture, HTML combinators, hot reloaded templates, type-safe endpoints, advanced routing and remoting capabilities, and more.
• NativeAOT-LLVM - an experimental fork of the CoreCLR .NET runtime that compiles .NET applications into single-file executables, with the primary target being WASM

---

Ada ^top⇈

Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support for design by contract (DbC), extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism. Ada improves code safety and maintainability by using the compiler to find errors in favor of runtime errors.

• adawebpack - GNAT-LLVM compiler for WebAssembly target, GNAT Run Time Library and AdaWebPack bindings for Web API.
• adagl - Multiplatform Ada/OpenGL bindings (ported to native/OpenGL, A2JS/WebGL and WASM/WebGL).
• adawebui - GUI based on adawebpack.\

---

AssemblyScript ^top⇈

AssemblyScript is a new compiler targeting WebAssembly while utilizing TypeScript's syntax and node's vibrant ecosystem. Instead of requiring complex toolchains to set up, you can simply npm install it - or run it in a browser.

• AssemblyScript - main repository.

---

Astro ^top⇈

Astro is a fun safe language for rapid prototyping and high performance applications.

• Astro - main repository. Unmaintained

---

Ballerina ^top⇈

Ballerina is an open-source programming language for the cloud that makes it easier to use, combine, and create network services. The WebAssembly compiler is implemented for the native Ballerina compiler nBallerina.

• Main repository - Ballerina-to-wasm compiler

---

BASIC ^top⇈

BASIC (acronym for "Beginners' All-purpose Symbolic Instruction Code") is an early general-purpose and high-level programming language. It's still one of the simplest and easy to learn languages.

• basic_rs - a BASIC Interpreter/Compiler for the Original Dartmouth Version written in Rust. Also provides basic2wasm tool which compiles BASIC to WebAssembly using binaryen.
• basicwasm - a GWBasic interpreter compiled to WASM with a Web UI.
• EndBASIC - BASIC environment with a REPL, a web interface, a graphical console, and RPi support written in Rust. You can try it out here.
• gobasic - a BASIC interpreter written in Golang.

---

Berry ^top⇈

Berry is an ultra-lightweight dynamically typed embedded scripting language. It's designed for lower-performance embedded devices, fast, multi-paradigm, simple, flexible, and has very small RAM footprint.

• berry - main repo.
• berry_web - Berry web playground. The project contains port of the Berry to Emscripten platform.

---

Brainfuck ^top⇈

Brainfuck is an esoteric programming language created in 1993 by Urban Müller, and notable for its extreme minimalism. The language consists of only eight simple commands and an instruction pointer. While it is fully Turing-complete, it is not intended for practical use, but to challenge and amuse programmers.

• BrainfuckWebassembly - a simple Brainfuck-to-wasm compiler in one function.
• Brainfuck2Wasm - a Brainfuck-to-wasm compiler and playground.
• BrainfuckRsWasm - a Brainfuck interpreter written in Rust and compiled to WebAssembly.
• Brainfuck Wa-lang - a Brainfuck interpreter written in 凹语言/Wa-lang and compiled to WebAssembly.
• bfwasm - A non-optimizing Brainf_ck to WebAssembly compiler with WASI support.

---

C ^top⇈

C is a general-purpose, imperative computer programming language, supporting structured programming, lexical variable scope and recursion, while a static type system prevents many unintended operations. C was originally developed by Dennis Ritchie between 1969 and 1973 at Bell Labs,[6] and used to re-implement the Unix operating system.

• Emscripten - an LLVM-to-JavaScript/Webassembly compiler. It takes LLVM bitcode - which can be generated from C/C++, using llvm-gcc (DragonEgg) or clang, or any other language that can be converted into LLVM - and compiles that into JavaScript or wasm.
• Cheerp - an open-source, enterprise-grade C/C++ compiler for Web applications. Cheerp can compile virtually any C/C++ code to WebAssembly and/or JavaScript.

---

C# ^top⇈

C# is a multi-paradigm programming language encompassing strong typing, imperative, declarative, functional, generic, object-oriented (class-based), and component-oriented programming disciplines. Its development team is led by Anders Hejlsberg. WebAssembly support is achieved through Blazor.

• See .Net

---

C++ ^top⇈

C++ is a general-purpose programming language. It has imperative, object-oriented and generic programming features, while also providing facilities for low-level memory manipulation. It was designed with a bias toward system programming and embedded, resource-constrained and large systems, with performance, efficiency and flexibility of use as its design highlights. The development of the language was started in 1979 by Bjarne Stroustrup as a "C with Classes".

• See C.

---

c4wa ^top⇈

C4wa ("C for Web Assembly") is a subset of Standard C specifically targeted for simple and efficient Web Assembly compilation. Generated WASM files include no overhead, out of the box compatible with any Web Assembly runtime, support import of variable-argument functions (such as printf). There is also an option to create well-formatted and readable WAT files.

• c4wa - main repository.

---

Clean ^top⇈

Clean is a general purpose, state-of-the-art, pure and lazy functional programming language designed for making real-world applications. Some of its most notable language features are uniqueness typing, dynamic typing, and generic functions.

• ABC interpreter - interpreter for Clean's intermediate language ABC, with a WebAssembly version.
• iTasks - integration of the above ABC interpreter with browser applications.

---

Co ^top⇈

A programming language similar to Go and TypeScript.

• Co - main repository

---

COBOL ^top⇈

COBOL is a compiled English-like programming language designed for business use. It is imperative, procedural, and object-oriented. COBOL is primarily used in business, finance, and administrative systems.

• Cobaul - toolchain used to support COBOL in CloudFlare workers

---

Coi ^top⇈

Coi is a component-based language for high-performance web apps (Fast, Minimal, Type-safe) with the following features:

• Fine-Grained Reactivity: State changes map directly to DOM elements at compile-time. No Virtual DOM overhead.
• Type-Safe Components: Compile-time error checking with strictly typed parameters and state.
• Minimal Runtime: Tiny WASM binaries with high-performance updates for DOM, Canvas, and more.
• Integrated DOM & Styling: Write HTML elements and scoped CSS directly in components.
• View Control Flow: Declarative <if>, <else>, and <for> tags for conditional rendering and iteration.

• Coi - main repository.

---

Crystal ^top⇈

Crystal is a programming language with the following goals:

• Have a syntax similar to Ruby (but compatibility with it is not a goal)
• Statically type-checked but without having to specify the type of variables or method arguments.
• Be able to call C code by writing bindings to it in Crystal.
• Have compile-time evaluation and generation of code, to avoid boilerplate code.
• Compile to efficient native code.

• Crystal - main repository
• POC PR - PR adding initial support for WebAssembly

---

Cyber ^top⇈

Fast, efficient, and concurrent scripting. Dynamic and gradual types; Concurrency with fibers; Multithreaded; Memory safe; FFI and Embeddable.

• Cyber - project repository

---

D ^top⇈

D is a general-purpose programming language with static typing, systems-level access, and C-like syntax.

• LDC - LLVM-based D compiler, which can generate WASM since version 1.11.0.

---

Dart ^top⇈

An approachable, portable, and productive language for high-quality apps on any platform

• sdk - The Dart SDK, including the VM, dart2js, core libraries, and more.
• language - Design of the Dart language
• Use via Flutter - How to compile Dart to WebAssembly for a Flutter Web application

---

Eclair ^top⇈

Eclair is a minimal, fast Datalog implementation that compiles to LLVM IR and WASM.

• eclair-lang - The Eclair compiler, which can compile Eclair code to LLVM IR and WASM.

---

Eel ^top⇈

Eel is a small language used for, among other things, writing visualizer "presets" for Milkdrop, the music visualization program which came with Winamp.

• eel-wasm - Compiles Milkdrop flavored Eel to Wasm in the browser. Intended to become a component of Butterchurn, a WebGL implementation of the Milkdrop Visualizer.

---

Elixir ^top⇈

Elixir is a dynamic, functional language designed for building scalable and maintainable applications. Elixir builds on top of Erlang and shares the same abstractions for building distributed, fault-tolerant applications.

• Firefly - An alternative BEAM implementation (with AOT compiler) designed for WebAssembly. [Unmaintained]
• ElixirWasm - an elixir compiler for wasm. [Unmaintained]

---

F# ^top⇈

F# is a mature, open source, cross-platform, functional-first programming language. It empowers users and organizations to tackle complex computing problems with simple, maintainable and robust code. WebAssembly support is achieved through Bolero, a set of free and open-source libraries and tools built on top of Blazor. F# was mainly conceived by Don Syme of Microsoft Research but it's now maintained by the F# Foundation and its community.

• See .Net

---

Faust ^top⇈

Faust (Functional Audio Stream) is a functional programming language specifically designed for real-time signal processing and synthesis. A distinctive characteristic of Faust is to be fully compiled.

• Faust - main repository.

---

Forest ^top⇈

Forest is a functional programming language that compiles to WebAssembly. The main repo contains the compiler and core syntaxes, currently implemented in Haskell.

• ForestLang - main repository.

---

Forth ^top⇈

Forth is an interactive, extensible, imperative, untyped, stack-based programming language.

• WASM Forth - Forth implementation for wasm.
• WAForth - Bootstrapping Dynamic Forth Interpreter/Compiler for & in WebAssembly.

---

Go ^top⇈

Go is a statically typed compiled language in the tradition of C, with memory safety, garbage collection, structural typing, and CSP-style concurrent programming features added.

• Go - main repository.
• TinyGo - a subset of Go targeted to embedded devices and WebAssembly.

---

Grain ^top⇈

Grain is a strongly-typed functional programming language built for the modern web.

• Grain - main repository.
• GrainWeb - Web page.

---

Haskell ^top⇈

Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing. It is named after logician Haskell Curry.[1] The latest standard of Haskell is Haskell 2010. As of May 2016, a group is working on the next version, Haskell 2020.

• Asterius - a Haskell to WebAssembly compiler. [Unmaintained]
• DHC - a Haskell compiler that accepts only a tiny subset of the language and produces WebAssembly binaries. [Unmaintained]
• GHC WASM - GHC's wasm backend.
• HaskellWasm - a Haskell compiler infrastructure for generating WebAssembly. [Unmaintained]
• haskell-wasm - Haskell WebAssembly Toolkit. It includes Language helpers and a fully spec-compatible WASM interpreter.
• wasm-cross - A toolchain for cross compiling C and Haskell to WebAssembly, using the WebGHC and LLVM.

---

Idris ^top⇈

Idris is a general purpose pure functional programming language with dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program’s behaviour can be specified precisely in the type. It is compiled, with eager evaluation. Its features are influenced by Haskell and ML.

• Idris-codegen-WASM - WASM codegen repository. Unmaintained

---

Janet ^top⇈

Janet makes a good system scripting language, or a language to embed in other programs. It's like a "modern Lisp", featuring great and easy C interop and a variety of data types like arrays, structs, tables, etc.

• Janet - main repository. You can try it out here.

---

Java ^top⇈

Java is a general-purpose computer programming language that is concurrent, class-based, object-oriented, and specifically designed to have as few implementation dependencies as possible. It is intended to let application developers "write once, run anywhere" (WORA), meaning that compiled Java code can run on all platforms that support Java without the need for recompilation. Java was originally developed by James Gosling at Sun Microsystems and released in 1995 as a core component of Sun Microsystems' Java platform. The language derives much of its syntax from C and C++, but it has fewer low-level facilities than either of them.

• TeaVM - an ahead-of-time translating compiler (transpiler) of Java bytecode, that's capable of emitting JavaScript and WebAssembly.
• JWebAssembly - A Java bytecode to WebAssembly compiler. It can generate the WebAssembly binary or text format. It is written in Java itself and can be integrated with other Java build tools.
• Bytecoder - A Rich Domain Model for Java Bytecode and Framework to interpret and transpile it to other languages such as JavaScript, OpenCL or WebAssembly.
• CheerpJ - A Java compiler for the web that converts any Java client application into standard HTML5/WebAssembly/JavaScript.
• Rise JVM - Rise JVM is a minimal Java VM based on WASM. You can try it out here.

---

JavaScript ^top⇈

JavaScript is a high-level, interpreted programming language that conforms to the ECMAScript specification. It is a language that is also characterized as dynamic, weakly typed, prototype-based and multi-paradigm.

• Duktape - an embeddable Javascript engine, with a focus on portability and compact footprint that's capable of being run in the browser via WebAssembly.
• Javy - a JavaScript to WebAssembly toolchain, capable of generating WASI-compatible modules from JS by embedding the QuickJS engine.
• SpiderMonkey - experimental Rust bindings and generic builtins for SpiderMonkey for building WASI-compatible modules from JavaScript.
• quickjs-emscripten - Safely execute untrusted Javascript in your JS/TS, and execute synchronous code that uses async functions.
• wasmedge-quickjs - A high-performance, secure, extensible, and OCI-complaint JavaScript runtime for WasmEdge. Features TCP/UDP support via WasmEdge Sockets.
• Boa - an embeddable and experimental Javascript engine written in Rust. You can try it out here.
• goja - an implementation of ECMAScript 5.1 in pure Go with emphasis on standard compliance and performance.
• otto - a JavaScript parser and interpreter written natively in Go.
• hermes - Hermes is a JavaScript engine optimized for fast start-up of React Native apps. It features ahead-of-time static optimization and compact bytecode. Emscripten and WASI support.
• Jint - an embeddable Javascript interpreter for .NET which can run on any modern .NET platform as it supports .NET Standard 2.0 and .NET 4.6.2 targets (and later).
• Porffor - a from-scratch experimental AOT optimizing JS/TS -> Wasm/C engine/compiler/runtime. You can try it out here.
• jz - A minimal, fast AOT compiler for a functional JavaScript subset to WebAssembly.
• sebastianwessel-quickjs - a typescript package to execute JavaScript and TypeScript code in a webassembly quickjs sandbox. You can try it out here.

---

Julia ^top⇈

Julia was designed from the beginning for high performance. Julia programs compile to efficient native code for multiple platforms via LLVM.

• julia-wasm - Emscripten & LLVM Julia to WASM compiler.
• Charlotte.jl - a Julia to WebAssembly/Javascript compiler Unmaintained
• WebAssemblyCompiler.jl - Julia to Wasm GC compiler via Binaryen

---

KCL ^top⇈

KCL is a constraint-based record & functional language mainly used in configuration and policy scenarios.

• KCLVM - LLVM-based KCL compiler, which can generate WASM.

---

Kotlin ^top⇈

Kotlin is a modern but already mature programming language aimed to make developers happier. It's concise, safe, interoperable with Java and other languages, and provides many ways to reuse code between multiple platforms for productive programming.

Kotlin/Wasm is the new target and toolchain in the Kotlin family. It has a few special properties:

• It compiles to Wasm directly without any additional layers, to compile as fast as possible, including incrementally in the future.
• It uses experimental/fresh proposals like GC, Typed Function References, Exception Handling, and Stringref.

• Kotlin/Wasm (Kotlin WebAssembly)
• Kotlin/Wasm examples

---

Kou ^top⇈

A minimal language compiled into wasm bytecode.

• Kou - main repository.

---

LabVIEW ^top⇈

LabVIEW is a development environment for the G dataflow graphical programming language used for data acquisition, instrument control, and industrial automation.

• G Web Development Software - A standalone development environment implementing a subset of the G dataflow graphical programming language to create web-based user interfaces for test and measurement applications.
• Vireo - An open-source runtime capable of running the virtual instrument assembly representation of the G dataflow graphical programming language created by G Web Development Software.

---

Lisp ^top⇈

Lisp (historically LISP) is a family of programming languages with a long history and a distinctive, fully parenthesized prefix notation.

• Femto Emacs - translates Low Level Lisp into WebAssembly.
• Wisp - Wisp is a Lisp system for WebAssembly and native execution.

---

Lobster ^top⇈

Lobster is a statically typed language with flow-sensitive type inference and specialization, compile time reference counting (lifetime analysis) that looks a bit like Python. It was originally intended specifically for games. Lobster has its own Wasm backend that compiles directly to linkable (with LLD) .wasm files.

• Lobster home.
• Lobster docs
• Lobster github
• Compile to Wasm - how to compile.
• Wasm backend details - how it is implemented, useful for other language implementors.

---

Lox ^top⇈

Lox is a language created by Bob Nystrom, used to teach compilers in the book Crafting Interpreters. It is dynamically typed, and supports classes, closures, and first-class functions.

• loxcraft uses WebAssembly for its online playground.

---

Lua ^top⇈

Lua is a lightweight, multi-paradigm programming language designed primarily for embedded systems and clients.[2] Lua is cross-platform, since the interpreter is written in ANSI C, and has a relatively simple C API. Lua was originally designed in 1993 as a language for extending software applications to meet the increasing demand for customization at the time.

• WasmLua - a Lua VM running in the browser.
• Luwa - a Lua-to-wasm JIT compiler.
• Wasmoon - a high level Lua VM with JS bindings.
• Wasm2Lua - can compile WebAssembly modules to pure Lua (or with FFI LuaJIT for extra speed).
• DCLua - a Lua 5.3 VM and compiler written in Go. It's intended to allow easy embedding into Go programs, with minimal fuss and bother.
• erdian718/lua (aka ofunc/lua) - a fork of DCLua, featuring IO capabilities, HTTP client, IoC, and more.
• GopherLua - a Lua5.1(+ goto statement in Lua5.2) VM and compiler written in Go. It provides Go APIs that allow you to easily embed a scripting language to your Go host programs.
• Pluto - a superset of Lua 5.4 with a focus on general-purpose programming. You can try it out here.
• PlutoScript - Pluto's extension aimed for web scripting. Provides JS interop and ability to use Pluto anywhere JavaScript works.

---

Lys ^top⇈

Lys is a typed functional language that compiles directly to WebAssembly.

• Lys - main repository.

---

MoonBit ^top⇈

MoonBit is an end-to-end programming language toolchain for cloud and edge computing using WebAssembly. The language is like Rust with GC support. The fast compiler is optimized to produce very compact WASM binaries.

• MoonBit - main website. You can try the language out here.
• Core library - open-sourced standard library. Compiler source code is not available yet.

---

Nelua ^top⇈

Minimal, simple, efficient, statically typed, compiled, metaprogrammable, safe, and extensible systems programming language with a Lua flavor.

• Nelua - project repository
• Nelua on the Web - Nelua-wasm discussion

---

Nerd ^top⇈

NerdLang is a substract of JS with some additions, focus on efficiency. Nerd is a JavaScript native compiler aiming to make JavaScript universal, Nerd is able to compile native apps for Windows, Mac, Linux, iOS, Android, Raspberry, STM32, Arduino, Web (including WASM), and more.

• Nerd - main repository.

---

Never ^top⇈

Never is a simple functional programming language. Technically it may be classified as syntactically scoped, strongly typed, call by value, functional programming language.

• Never - project repository
• Never on the Web - Never language demo

---

Nim ^top⇈

A fringe language with some beautiful design patterns.

• nlvm - LLVM-based compiler for Nim with a WebAssembly target supported out of the box
• nwasm - a webassembly backend for nim.
• Nim wasm helpers - a helper to set up a VM configured to build WebAssembly code using Nim.

---

Ocaml ^top⇈

OCaml, originally named Objective Caml, is the main implementation of the programming language Caml, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez and others in 1996. A member of the ML language family, OCaml extends the core Caml language with object-oriented programming constructs.

• Ocaml - a fork of main repo containing work on OCaml to wasm compilation.
• OcamlRun - a build script for compiling OCaml bytecode interpreter to wasm using emscripten [Unmaintained]

---

Pascal ^top⇈

Pascal is a general purpose imperative, procedural and object-oriented static typing programming language. The Free Pascal compiler targets many processor architectures, including wasm32; operating systems, including WASI; and embedded platforms.

• Free Pascal - Free Pascal compilation target and Pascal-to-Javascript runtime.

---

Perl ^top⇈

Perl is a general-purpose programming language originally developed for text manipulation and now used for a wide range of tasks including system administration, web development, network programming, GUI development, and more.

• WebPerl - Perl 5 in the browser.

---

PHP ^top⇈

PHP is a general-purpose scripting language that is especially suited to server-side web development, in which case PHP generally runs on a web server. Any PHP code in a requested file is executed by the PHP runtime, usually to create dynamic web page content or dynamic images used on websites or elsewhere.

• PIB - a PHP runtime in the browser.
• PHP WASM - maintained fork of PIB with PHP 8 support based on the work of seanmorris.
• WebAssembly Language Runtimes - up-to-date PHP (including php-cgi) prebuilt for WASI

---

Plorth ^top⇈

Plorth is stack based, concatenative, strongly typed functional scripting language which is easy to embed to applications written in C++. It's inspired by Forth and Factor programming languages.

• Plorth - main repository.

---

Poetry ^top⇈

Poetry is a poetically dynamic and simple programming language that compiles to WebAssembly. It has a minimalisting syntax akin to CoffeeScript and gives you full control over wasm imports and exports.

• Poetry - main repository.

---

Python ^top⇈

Python is an open source interpreted high-level programming language for general-purpose programming. Created by Guido van Rossum and first released in 1991, Python has a design philosophy that emphasizes code readability, notably using significant whitespace. It provides constructs that enable clear programming on both small and large scales.

• Pyodide - a port of Python to WebAssembly that includes the core packages of the scientific Python stack (Numpy, Pandas, matplotlib). Objects transparently convert and share between Python and Javascript.
• MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems.
• RustPython - A Python 3 interpreter written in Rust. Check the demo here
• RPython - A RPython (PyPy's Restricted Python) to WebAssembly compiler
• TPython - Pythonic++ (a "dialect" of C++) to WebAssembly compiler
• micropython-wasm - MicroPython build which features wide JS interop, e.g. waiting for JS promises.
• WebAssembly Language Runtimes - up-to-date CPython prebuilt for WASI

---

Prolog ^top⇈

Prolog is a general-purpose logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations.

• SWI-Prolog port to WebAssembly - a port of SWI-Prolog to WebAssembly. SWI-Prolog is a free implementation of the programming language Prolog commonly used for teaching and semantic web applications.
• Ciao Prolog - includes a WebAssembly compilation target based on Emscripten. Ciao Prolog is a modern Prolog implementation designed to be portable, extensible and modular. Check the playground here.

---

R ^top⇈

R is a language and environment for statistical computing and graphics.

• WebR - R in the Browser. You can try it out here

---

Rebol ^top⇈

Homoiconic ("data is code" and vice-versa) dynamic programming language and data-format (representing data and metadata) language.

By its author, "Rebol rebels against the idea that modern software must be large and complex".

• Ren-C - Ren-C is a deeply redesigned derivative of the Rebol 3 codebase. Features "user-friendly" API for C and JavaScript. It has WASM-powered Ren-C's replpad-js - interactive Web Console for Rebol language (Ren-C branch).
• Rye - Rye is a high level, dynamic programming language based on ideas from Rebol, flavored by Factor, *nix shells and Golang. Implemented in Golang. You can try it out here.

---

Rego ^top⇈

Open Policy Agent (OPA) is an open source, general-purpose policy engine that unifies policy enforcement across the stack. Rego is a high-level declarative policy language purpose-built for expressing policies over complex hierarchical data structures.

• OPA-Wasm - Compilation and evaluation of Rego policies using Wasm.
• npm-opa-wasm - NPM module providing an SDK for using Wasm compiled OPA policies.
• rust-opa-wasm - A crate to use OPA policies compiled to Wasm.
• dotnet-opa-wasm - Call OPA policies in Wasm from C# .NET Core.
• python-opa-wasm - OPA Wasm SDK for Python.
• java-opa-wasm - OPA Wasm SDK for Java.

---

Ring ^top⇈

Ring is a Simple, Small, and Flexible practical general-purpose multi-paradigm language. The supported programming paradigms are Imperative, Procedural, Object-Oriented, Functional, Metaprogramming, Declarative programming using nested structures, and Natural programming. The language is portable (MS-DOS, Windows, Linux, macOS, Android, WebAssembly, etc.) and can be used to create Console, GUI, Web, Games, and Mobile applications.

• Ring - main repository. You can try it out here.
• WASM apps in Ring - list of demo web applications implemented in Ring.

---

Roc ^top⇈

A fast, friendly, functional language. Compiles to machine code or WASM. Roc is a direct descendant of the Elm programming language.

• roc - main repository. You can try it out here.
• basic-cli - a Roc platform to work with files, commands, HTTP, TCP, command line arguments, etc.
• basic-webserver - a basic Web Server for Roc.

---

Ruby ^top⇈

Ruby is an open source interpreted high-level programming language for general-purpose programming. Created by Matz. Ruby has a design philosophy that emphasizes code readability, notably using as few sigils (special chars:.{}%[]&=>;) as possible.

• Wruby Web ruby - a port of minimal ruby (mruby).
• run.rb run.rb - allows you to run Ruby code in the browser
• Artichoke - a Ruby implementation written in Rust and Ruby. You can try it out here: https://artichoke.run
• ruby.wasm - a collection of "official" WebAssembly ports of the CRuby. You can try it out here
• rlang Rlang - a (subset of) Ruby to WebAssembly compiler
• cry-wasm - speeds up Ruby code using Crystal. By applying simple type restrictions to Ruby code, convert it to Crystal code, compile it to WebAssembly, and call it with Wasmer or Wasmtime.
• Ruvy - toolchain for bundling ruby.wasm pre-initialized and bundled with Ruby code
• WebAssembly Language Runtimes - up-to-date MRI Ruby prebuilt for WASI

---

Rust ^top⇈

Rust is a systems programming language sponsored by Mozilla Research, which describes it as a "safe, concurrent, practical language,"supporting functional and imperative-procedural paradigms. Rust is syntactically similar to C++, but its designers intend it to provide better memory safety while maintaining performance.

• Rust wasm32-unknown-unknown target - Rust compiler backend for WebAssembly (without the need for Emscripten).
• Wargo - a simple npm package that makes compiling Rust to WebAssembly easy on macOS or Linux.
• RustWasmLoader - A simple Webpack loader that shells out to cargo to build a Rust project targeting WebAssembly.
• CargoWeb - This cargo subcommand aims to make it easy and convenient to build, develop and deploy client-side Web applications written in Rust.
• Wasm-Bindgen - A library and a CLI for Rust that facilitate high-level interactions between wasm modules and JavaScript.
• Woz - Woz is a WebAssembly progressive web app (PWA) toolchain for building and deploying performant mobile apps with Rust. Distributing your app is as simple as sharing a hyperlink.

---

Scheme ^top⇈

Scheme is a programming language that supports multiple paradigms, including functional programming and imperative programming, and is one of the two main dialects of Lisp. Unlike Common Lisp, the other main dialect, Scheme follows a minimalist design philosophy specifying a small standard core with powerful tools for language extension..

• Schism - Schism is an experimental self-hosting compiler from a subset of R6RS Scheme to WebAssembly. Development so far has focused on features necessary for self-hosting. The compiler itself is written in, and compiles, a very small subset of Scheme.
• scheme.wasm - An R7RS Scheme implemented in WebAssembly. You can try it out here.
• Guile Hoot - a Scheme to WebAssembly compiler backend for GNU Guile and a general purpose WASM toolchain.

---

Speedy.js ^top⇈

Speedy.js is a compiler for a well considered, performance pitfalls free subset of JavaScript targeting WebAssembly. Because WebAssembly is statically-typed, the project uses TypeScript as type-checker and to resolve the types of the program symbols.

• Speedy.js - main repository. Unmaintained

---

Swift ^top⇈

Swift is a general-purpose, multi-paradigm, compiled programming language developed by Apple Inc. for iOS, macOS, watchOS, tvOS, Linux, and z/OS.

• SwiftWasm - GitHub organization.

---

Tcl ^top⇈

Tcl (Tool Command Language) is a very powerful but easy to learn dynamic programming language, mature but evolving, highly extensible and suitable for a very wide range of uses.

• Wacl - A Tcl distibution for WebAssembly or Javascript. Features JS/DOM bindings. You can try it out here.

---

Theta ^top⇈

Theta is a modern, general purpose, functional programming language with a strong type system and expressive syntax. It features a modular design and supports pattern matching, function overloading, and other goodies.

• ThetaLang - main repository.

---

TurboScript ^top⇈

TurboScript is an experimental programming language for parallel programming for web which compiles to JavaScript (asm.js) and WebAssembly (targeting post-MVP). The syntax is similar to TypeScript and the compiler is open source and written in TypeScript. TurboScript has zero dependencies.

• TurboScript - main repository.

---

TypeScript ^top⇈

TypeScript is an open-source programming language developed and maintained by Microsoft. It is a strict syntactical superset of JavaScript, and adds optional static typing to the language.

• See AssemblyScript

---

Uxn^top⇈

Uxn is a small virtual machine specfication, designed for portability and stability.

• Uxn.wasm - WebAssembly implementation of the Uxn virtual machine

---

V ^top⇈

V is a statically typed compiled programming language designed for building maintainable software.

• V - main repository. You can try it out here

---

Virgil ^top⇈

A fast and lightweight safe, garbage-collected systems programming language. Its compiler produces optimized, standalone native executables, WebAssembly modules, or JARs for the JVM.

• Virgil - main repository.

---

Wa ^top⇈

Wa is a general-purpose programming language designed for developing robustness and maintainability WebAssembly software. Instead of requiring complex toolchains to set up, you can simply go install it - or run it in a browser.

凹语言™（凹读音“Wa”）是 针对 WASM 平台设计的的通用编程语言，支持 Linux、macOS 和 Windows 等主流操作系统和 Chrome 等浏览器环境，同时也支持作为独立Shell脚本和被嵌入脚本模式执行。

• Wa/凹语言(English) - Design for WebAssembly.
• Wa/凹语言(简体中文) - 凹语言 - 为 WebAssembly 而生.
• Wa/凹语言(仓库) - main repository.

---

Wah ^top⇈

Wah is a slightly higher level language that is a superset of WebAssembly. It aims to make WebAssembly's text format slightly more friendly to humans, without introducing new syntax or datatypes.

• Wah - main repository. Unmaintained

---

WAlt ^top⇈

WAlt is an alternative syntax for WebAssembly text format. It's an experiment for using JavaScript syntax to write to as 'close to the metal' as possible. It's JavaScript with rules. .walt files compile directly to WebAssembly binary format.

• Walt - main repository. Unmaintained

---

Wam ^top⇈

WebAssembly Macro language: Wam syntax is a near superset of wast syntax that is more convenient for human developers to write directly.

• Wam - main repository. Unmaintained

---

Wase ^top⇈

WASE: WebAssembly made easy. Wase is a language, which tries to make WASM easy to write. The language maps closely to WebAssembly, and compiles directly to Wasm bytecode. Has strong typing with type inference.

• Wase - main repository.

---

WebAssembly ^top⇈

Yes, WebAssembly. Wasm3 is the fastest WebAssembly interpreter, that enables WebAssembly self-hosting.

• Wasm3 - main repository.
• Wasm3 on WAPM - WAPM package.

---

Wonkey ^top⇈

Wonkey is an easy to learn, object-oriented, modern and cross-platform programming language for creating cross-platform video games, highly inspired by the "BlitzBasic" range of languages.

• Wonkey - main repository. Check the demo games here.

---

Wracket ^top⇈

A lisp-like language that compiles to WebAssembly, written in racket

• Wracket - main repository. Unmaintained

---

xcc ^top⇈

Toy C compiler for x86-64 and wasm

• xcc - main repository.
• Online demo.

---

Zig ^top⇈

Zig is a general-purpose programming language designed for robustness, optimality, and maintainability.

• Zig WebAssembly - documentation on WebAssembly

---

Please read the contribution guidelines if you want to contribute.

---

License

To the extent possible under law, Steve Akinyemi has waived all copyright and related or neighboring rights to this work.