theseus-os

Theseus adalah OS modern yang ditulis dari nol dengan Rust yang mengeksplorasi desain intralingual: menutup kesenjangan semantik antara kompiler dan perangkat keras dengan memaksimalkan kekuatan keamanan bahasa dan tipe affine. Theseus bertujuan untuk mengalihkan tanggung jawab OS seperti manajemen sumber daya ke dalam kompiler.