theseus-os

Theseus es un SO moderno escrito desde cero en Rust que explora el diseño intralingüe: cierra la brecha semántica entre el compilador y el hardware aprovechando al máximo el poder de la seguridad de tipos y los tipos afines. Theseus tiene como objetivo trasladar las responsabilidades del SO, como la gestión de recursos, al compilador.