مصدر مفتوح. آفاق جديدة.

Unnameable هو مشروع تجارب لتحليل لغة برمجة، مكتوب بلغة Rust، ويتميز بسلسلة معالجة متعددة المراحل من المصدر إلى HIR مع تحليل دلالي، بينما لا يزال توليد الرمز في مرحلة التطوير.

Takibi هي لغة أنظمة بحثية ونواة متجانسة متوافقة مع Linux-ABI، صُممت لتحويل إخفاقات تشغيل النواة إلى أخطاء وقت التجميع باستخدام أنواع التحسين (refinement types) والملكية الأفينية (affine ownership).