theseus-os

Theseus ist ein modernes, von Grund auf in Rust geschriebenes Betriebssystem, das das intralinguale Design erforscht: Es schließt die semantische Lücke zwischen Compiler und Hardware, indem es die Leistungsfähigkeit von Typsicherheit und affinen Typen maximal nutzt. Theseus zielt darauf ab, Betriebssystemaufgaben wie die Ressourcenverwaltung in den Compiler zu verlagern.