theseus-os/Theseus

Theseus là một hệ điều hành hiện đại được viết từ đầu bằng Rust, khám phá thiết kế nội ngôn ngữ: thu hẹp khoảng cách ngữ nghĩa giữa trình biên dịch và phần cứng bằng cách tận dụng tối đa sức mạnh của tính an toàn ngôn ngữ và kiểu affine. Theseus nhằm mục đích chuyển các trách nhiệm của hệ điều hành như quản lý tài nguyên vào trình biên dịch.