theseus-os의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
Theseus는 Rust로 처음부터 작성된 현대적인 OS로, 언어 안전성과 아핀 타입의 힘을 최대한 활용하여 컴파일러와 하드웨어 간의 의미론적 격차를 줄이는 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧을 탐구합니다. Theseus는 리소스 관리와 같은 OS 책임을 컴파일러로 전환하는 것을 목표로 합니다.
