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

قائمة منسقة لموارد برمجة الأنظمة المدمجة تغطي منصات المتحكمات الدقيقة، التطوير بدون نظام تشغيل، أنظمة التشغيل اللحظية، نواة لينكس وبرامج التشغيل، الأدوات، والمواد التعليمية.

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