نظام بيئي متكامل

منظومة كتوم (Ecosystem)

تتكون منظومتنا من مشاريع وبنية تحتية أساسية تمهد الطريق لمستقبل التقنيات العميقة.

qet4 Kernel

نواة مصغّرة (microkernel) مكتوبة من الصفر بلغة Rust. التحقق الصوري عبر Kani وVerus هو الهدف، وإثباتاته لم تبدأ بعد.

نظام تشغيل مبني من الصفر بلغة Rust على نواة qet4. يعمل اليوم على QEMU، والاختبار على عتاد حقيقي هو الخطوة التالية.

محرك قواعد بيانات قيد التطوير، مصمم ليجمع أربعة نماذج بيانات في محرك واحد، ومكتوب بلغة Rust.

نموذج تجريبي لمحرك ويب عالي الأداء، صُمم لتشغيل متصفحات أصلية مع جعل الأمان هدفاً أساسياً في تصميمه.