Écosystème Qtoom
Notre écosystème se compose de projets fondamentaux et d'infrastructures qui ouvrent la voie à l'avenir de la Deep Tech.
qet4 Kernel
Un micro-noyau écrit de zéro en Rust. La vérification formelle avec Kani et Verus est l'objectif, et les preuves n'ont pas encore commencé.
Découvrir qet4Qtoom Operating System (QOS)
Un système d'exploitation construit de zéro en Rust sur le micro-noyau qet4. Il fonctionne aujourd'hui dans QEMU, et les tests sur du matériel réel constituent la prochaine étape.
Découvrir QOSKanz DB
Un moteur de base de données en développement actif, conçu pour combiner quatre modèles de données dans un seul moteur et écrit en Rust.
Découvrir Kanz DBWatad WebEngine
Un prototype expérimental d'un moteur web haute performance, conçu pour alimenter des expériences de navigateurs natifs avec la sécurité comme objectif principal de conception.
Découvrir Watad