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

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