synthpulseengine
NOVOSynth é um compilador ahead-of-time de WebAssembly para nativo visando ARM Cortex-M/R, RISC-V RV32IMAC e AArch64, com provas de correção mecanizadas em Rocq e validação de tradução SMT. Pré-lançamento, focado em sistemas embarcados, Apache-2.0.