Интегрированная экосистема

Экосистема Qtoom

Наша экосистема состоит из фундаментальных проектов и инфраструктуры, прокладывающих путь в будущее Deep Tech.

qet4 Kernel

Микроядро, написанное с нуля на Rust. Формальная верификация с помощью Kani и Verus является целью, и доказательства еще не начаты.

Узнать больше о qet4

Qtoom Operating System (QOS)

Операционная система, созданная с нуля на Rust на базе микроядра qet4. Сегодня она работает в QEMU, а следующим шагом станет тестирование на реальном оборудовании.

Узнать больше о QOS

Kanz DB

Ядро базы данных в стадии активной разработки, предназначенное для объединения четырех моделей данных в одном ядре и написанное на Rust.

Узнать больше о Kanz DB

Watad WebEngine

Экспериментальный прототип высокопроизводительного веб-движка, созданный для обеспечения работы нативных браузеров с безопасностью в качестве основной цели дизайна.

Узнать о Watad