theseus-os/Theseus

Theseus Rust में शुरू से लिखा गया एक आधुनिक OS है जो इंट्रा-लिंगुअल डिज़ाइन की खोज करता है: भाषा सुरक्षा और एफ़िन प्रकारों की शक्ति का अधिकतम लाभ उठाकर कंपाइलर और हार्डवेयर के बीच की सिमेंटिक खाई को पाटता है। Theseus का उद्देश्य संसाधन प्रबंधन जैसी OS जिम्मेदारियों को कंपाइलर में स्थानांतरित करना है।