theseus-os

Theseus é um sistema operacional moderno escrito do zero em Rust que explora o design intralinguístico: fechando a lacuna semântica entre compilador e hardware ao maximizar o poder da segurança de linguagem e tipos afins. O Theseus visa transferir responsabilidades do SO, como gerenciamento de recursos, para o compilador.