theseus-os

Theseus est un système d'exploitation moderne écrit de zéro en Rust qui explore la conception intralinguale : combler le fossé sémantique entre le compilateur et le matériel en tirant le meilleur parti de la sécurité du langage et des types affines. Theseus vise à transférer les responsabilités du système d'exploitation, comme la gestion des ressources, vers le compilateur.