ওপেন সোর্স। নতুন সম্ভাবনা।

Synth হলো একটি ahead-of-time WebAssembly-to-native কম্পাইলার যা ARM Cortex-M/R, RISC-V RV32IMAC এবং AArch64-কে লক্ষ্য করে তৈরি। এতে Rocq মেকানাইজড কারেক্টনেস প্রুফ এবং SMT ট্রান্সলেশন ভ্যালিডেশন রয়েছে। এটি একটি প্রি-রিলিজ, এমবেডেড-ফোকাসড এবং Apache-2.0 লাইসেন্সপ্রাপ্ত প্রজেক্ট।

Docker বা Podman ব্যবহার করে Rust crates-এর ক্রস-কম্পাইলেশন এবং ক্রস-টেস্টিং করার জন্য একটি "জিরো সেটআপ" টুল।

rucc হলো Rust-এ লেখা একটি প্রাথমিক পর্যায়ের অপ্টিমাইজড C কম্পাইলার। এটি SMT-ভেরিফাইড রুলস এবং e-graphs ব্যবহার করে SQLite, PostgreSQL এবং Linux কার্নেল সাপোর্ট করার লক্ষ্য নিয়ে কাজ করছে।

এই প্রকল্পটি Android/Termux (aarch64)-তে Bionic libc ব্যবহার করে মূল ভাবে চালানোর জন্য পরিবর্তিত Bun বিল্ড প্রদান করে। কোনো proot, glibc-runner বা wrappers ছাড়া — সমস্ত ঠিকানা `#[cfg(target_os = "android")]` Rust শাখা দ্বারা সরাসরি বাইনারিতে কম্পাইল করা হয়েছে।