theseus-os

Theseusは、言語の安全性とアフィン型の力を最大限に活用してコンパイラとハードウェア間のセマンティックギャップを埋める「言語内設計（intralingual design）」を探索する、Rustでゼロから書かれたモダンなOSです。Theseusは、リソース管理などのOSの責務をコンパイラに移行することを目指しています。