好开源，值得被发现。

Wasmtime是Bytecode Alliance项目的独立WebAssembly运行时，基于Cranelift代码生成器构建，具有快速执行、安全设计、可配置资源限制、WASI支持和标准合规等特性，并支持通过多种编程语言嵌入使用。

Wago 是一个纯 Go 编写的 WebAssembly 运行时，无需 CGO 即可将 Wasm 编译为原生机器码。它采用插件化设计提供 WASI 和组件模型等功能，并支持将 .wasm 文件构建为小型独立可执行文件。

Synth 是一款将 WebAssembly 编译为 ARM Cortex-M/R、RISC-V RV32IMAC 及 AArch64 原生二进制文件的 AOT 编译器。它通过 Rocq 机械化证明和 SMT 翻译验证确保正确性，专注于嵌入式场景，采用 Apache-2.0 协议。