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

Takibi ایک ریسرچ سسٹم لینگویج اور Linux-ABI کے ساتھ ہم آہنگ مونو لیتک کرنل ہے، جسے ریفائنمنٹ ٹائپس اور افائن اونرشپ کے ذریعے کرنل رن ٹائم ناکامیوں کو کمپائل ٹائم ایررز میں تبدیل کرنے کے لیے ڈیزائن کیا گیا ہے۔

Unnameable ایک تجرباتی پروگرامنگ زبان کمپائلر ہے جو Rust میں لکھا گیا ہے، جس میں سورس سے HIR تک ایک کثیر مرحلہ والی پائپ لائن شامل ہے، جس میں سیمنٹک تجزیہ بھی شامل ہے، جبکہ کوڈ جنریشن ابھی ترقی کے مراحل میں ہے۔