Illustration: the project’s public image, pixelated by RepoMasters. Credits
RCEpic

theseus-os/Theseus

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management i…

Owner
theseus-os (organization)
Stars
Stars: 3,223
Forks
Forks: 188
Language
Rust
License
MIT
Created
2017
Topics
operating-systemrustkernelresearchtheseusintralingual
Tier
RC (2,000 to 4,999 ★) What this tier means
View on GitHub

Nearby in Rust

All Rust repos