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

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

rucc एक प्रारंभिक चरण का अनुकूलित C कंपाइलर है जो Rust में लिखा गया है। README कहता है कि अभी तक कोई C कंपाइल नहीं होता: M0/M1 वर्कस्पेस, जाँची गई लेयर नियम, ड्राइवर स्केलेटन, Linux/macOS/Windows पर CI, और एक प्रीप्रोसेसर को कवर करते हैं। यह SQLite, PostgreSQL और Linux को लक्ष्य बनाता है, SMT‑सत्यापित रिवाइट नियम, जहर‑मुक्त SSA IR, e‑ग्राफ़, और स्वयं‑एन्कोडेड ऑब्जेक्ट/DWARF का उपयोग करके।