ओपन सोर्स। नई संभावनाएँ।

Synth एक ahead-of-time WebAssembly-to-native कंपाइलर है जो ARM Cortex-M/R, RISC-V RV32IMAC और AArch64 को टारगेट करता है, जिसमें Rocq मैकेनाइज्ड शुद्धता प्रमाण और SMT ट्रांसलेशन वैलिडेशन शामिल हैं। यह प्री-रिलीज़, एम्बेडेड-केंद्रित और Apache-2.0 लाइसेंस प्राप्त है।