اوپن سورس۔ نئے امکانات۔

Synth ایک ahead-of-time WebAssembly-to-native کمپائلر ہے جو ARM Cortex-M/R، RISC-V RV32IMAC اور AArch64 کو ٹارگٹ کرتا ہے، جس میں Rocq میکنائزڈ درستگی کے ثبوت اور SMT ٹرانسلیشن ویلیڈیشن شامل ہیں۔ یہ پری-ریلیز، ایمبیڈڈ پر مرکوز اور Apache-2.0 لائسنس کے تحت ہے۔

Docker یا Podman کا استعمال کرتے ہوئے Rust کریٹس کی کراس کمپائلنگ اور کراس ٹیسٹنگ کے لیے ایک "زیرو سیٹ اپ" ٹول۔

rucc Rust میں لکھا ہوا ایک ابتدائی مرحلے کا آپٹیمائزنگ C کمپائلر ہے۔ اس کا ہدف SQLite، PostgreSQL اور Linux kernel ہیں۔ ابھی تک کوئی بھی C کوڈ کمپائل نہیں کر سکتا۔ M0/M1 مکمل ہو چکے ہیں۔ یہ SMT-verified rewrite rules، poison-free SSA IR، e-graphs استعمال کرتا ہے۔

یہ پروجیکٹ Bun کا ایک ترمیم شدہ بلڈ فراہم کرتا ہے جو Android/Termux (aarch64) پر Bionic libc کے ساتھ مقامی طور پر چلتا ہے۔ اس میں bun install، bunx، FFI (TinyCC کے ساتھ) اور opentui TUI سب براہِ راست بائنری میں مرتب شدہ ہیں۔