Java to Closure JavaScript transpiler
-
Updated
May 22, 2026 - Java
#
wasmgc
Here are 6 public repositories matching this topic...
Experimental WasmGC backend for Scala.js | merging into the upstream Scala.js repo https://github.com/scala-js/scala-js/pull/4988
-
Updated
May 22, 2024 - Scala
Common Lisp to WebAssembly compiler using WasmGC
-
Updated
Jan 25, 2026 - Common Lisp
Idris2-proved progressive type safety for WebAssembly linear memory (regions are tables, loads are queries) — and the verified convergence ABI that independent WasmGC languages agree on.
dependent-types zig webassembly wasm type-theory memory-safety abi type-safety formal-verification palimpsest idris2 language-interoperability wasmgc hyperpolymath typed-wasm
-
Updated
May 23, 2026 - Idris
The effect row is the abstraction; the backend picks the mechanism. An affine-typed language compiling to verifiable typed WebAssembly and Deno.
programming-language algebraic-effects compiler ocaml webassembly ownership continuation-passing-style formal-verification linear-types palimpsest effect-system borrow-checker wasmgc affine-types hyperpolymath typed-wasm quantitative-type-theory
-
Updated
May 23, 2026 - OCaml
Parser combinators for Dart. Typed errors, left recursion, stack-safe trampolining. Sealed ADT, format parsers, expression evaluator, binary codec.
dart parser parser-combinators functional-programming wasm left-recursion sealed-classes wasmgc dart3
-
Updated
May 23, 2026 - Dart
Improve this page
Add a description, image, and links to the wasmgc topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the wasmgc topic, visit your repo's landing page and select "manage topics."