takibitakibi-lang
جديدTakibi هي لغة أنظمة بحثية ونواة متجانسة متوافقة مع Linux-ABI، صُممت لتحويل إخفاقات تشغيل النواة إلى أخطاء وقت التجميع باستخدام أنواع التحسين (refinement types) والملكية الأفينية (affine ownership).
OPEN SOURCE, OPEN TO EVERYONE
مصدر مفتوح. آفاق جديدة.
اكتشف مشاريع مفتوحة المصدر عالية الجودة، وأرسل المشاريع بشكل مجهول، وطالب بمشروعك المفتوح المصدر وحرّره.
✳اختيار بشري · اكتشف مصادر مفتوحة جيدة4109تم اكتشافها
فضول صغير. عالم من المصادر المفتوحة.
THE FIRST COLLECTIONTopic: refinement清除