Topic · theseus
theseus
Tracked open-source repos tagged theseus, sorted by stars.
Repos
1
Total stars
3,190
Avg. stars
3,190
Share
0.00%
Related topics
Topics that frequently appear alongside theseus on the same repo.
Recent risers
Repos created in the last 90 days, tagged theseus.
No new repos tagged with this topic in the last 90 days.
- #1
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 into the compiler.
★ 3,190+6Star change over the last 7 days
