theseus

Theseus 是一個從頭用 Rust 編寫的現代作業系統，旨在探索「語言內設計」（intralingual design）：藉由最大化利用語言安全性和仿射類型（affine types）的力量，來縮小編譯器與硬體之間的語義差距。Theseus 的目標是將資源管理等作業系統職責轉移到編譯器中。