ホームに戻る統合エコシステム
Qtoomエコシステム
私たちのエコシステムは、ディープテックの未来への道を切り開く基礎的なプロジェクトとインフラストラクチャで構成されています。
qet4 Kernel
Rustでゼロから書かれたマイクロカーネル。KaniとVerusによる形式検証が目標であり、証明はまだ開始されていません。
qet4の詳細を見る Qtoom Operating System (QOS)
qet4 マイクロカーネル上でRustを使用してゼロから構築されたオペレーティングシステム。現在は QEMU で動作しており、次は実際のハードウェアでのテストです。
QOSの詳細を見る Kanz DB
現在活発に開発中のデータベースエンジンで、1つのエンジンに4つのデータモデルを統合するように設計され、Rustで記述されています。
Kanz DBの詳細を見る Watad WebEngine
ネイティブブラウザのエクスペリエンスを強化するために構築され、セキュリティを中核的な設計目標とした、高性能Webエンジンの実験的プロトタイプ。
Watadを発見