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

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

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