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

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

Xag هو لغة برمجة مترجمة تتميز بأسلوب إدارة الذاكرة المماثل لـ Rust، وتركيزها العالي على الأداء، ورسائل الأخطاء التفصيلية. تتم ترجمتها إلى كود أصلي عبر LLVM أو تعمل من خلال مُفسّرات. وهي في مراحل مبكرة من التطوير، مع التحقق الشامل من العمليات الحسابية العشرية مقابل الأجهزة والمرجعيات المستقلة.

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

LAMINARIA هي سلسلة أدوات موحدة في مرحلة البحث تقوم بنمذجة عمليات بناء Rust و Nim كرسم بياني واحد قابل للتفسير، يشمل حل التبعيات، ومسارات المترجم، والتنفيذ الواعي بالموارد.

Promise هي لغة برمجة ثابتة النوع مصممة لوكلاء الذكاء الاصطناعي لكتابة كود صحيح وقابل للصيانة. تتميز بالملكية الصريحة، والتزامن بأسلوب goroutine، والمعالجة الجبرية للأخطاء، والأنواع المعممة، ومطابقة الأنماط. تتجمع أصلياً إلى LLVM لأنظمة Linux وmacOS وWindows وWASM.

RPCS3 هو محاكي ومصحح أخطاء مجاني ومفتوح المصدر لجهاز PlayStation 3، مكتوب بلغة C++ ويدعم أنظمة Windows وLinux وmacOS وFreeBSD. يتيح تشغيل ألعاب PS3 على الأجهزة الحديثة ويوفر أدوات تصحيح لتطوير المحاكاة.

Codon هو تنفيذ عالي الأداء للغة Python يتم تجميعه إلى كود آلة أصلي، مما يوفر سرعات تضاهي لغتي C/C++ ويدعم تعدد الخيوط الأصلي وتسريع GPU.