综合生态系统

Qtoom 生态系统

我们的生态系统由奠基性项目和基础设施组成，为 Deep Tech 的未来铺平道路。

qet4 Kernel

一个使用 Rust 从零开始编写的微内核。使用 Kani 和 Verus 进行形式化验证是我们的目标，证明工作尚未开始。

Qtoom Operating System (QOS)

在 qet4 微内核上使用 Rust 从零开始构建的操作系统。目前在 QEMU 中运行，下一步将在真实硬件上进行测试。

Kanz DB

一个正在积极开发中的数据库引擎，旨在将四种数据模型结合在单个引擎中，并使用 Rust 编写。

Watad WebEngine

实验性的高性能 Web 引擎原型，旨在为原生浏览器体验提供动力，并将安全性作为核心设计目标。