theseus

Theseus 是一个从头用 Rust 编写的现代操作系统，旨在探索“语言内设计”（intralingual design）：通过最大化利用语言安全性和仿射类型（affine types）的力量，来缩小编译器与硬件之间的语义差距。Theseus 的目标是将资源管理等操作系统职责转移到编译器中。