메인 콘텐츠로 건너뛰기
홈으로 돌아가기
통합 생태계

Qtoom 생태계

우리의 생태계는 딥테크의 미래를 위한 길을 열어주는 기초 프로젝트와 인프라로 구성되어 있습니다.

qet4 Kernel

Rust로 처음부터 작성된 마이크로커널입니다. Kani와 Verus를 사용한 형식 검증이 목표이며, 증명은 아직 시작되지 않았습니다.

qet4 자세히 보기

Qtoom Operating System (QOS)

qet4 마이크로커널 위에서 Rust로 처음부터 구축된 운영 체제입니다. 현재 QEMU에서 실행되며 실제 하드웨어에서의 테스트가 다음 단계입니다.

QOS 자세히 보기

Kanz DB

하나의 엔진에 네 가지 데이터 모델을 결합하도록 설계되었으며 Rust로 작성되어 현재 활발히 개발 중인 데이터베이스 엔진입니다.

Kanz DB 자세히 보기

Watad WebEngine

보안을 핵심 설계 목표로 삼아 네이티브 브라우저 환경을 구동하기 위해 구축된 고성능 웹 엔진의 실험적 프로토타입.

Watad 알아보기