GitHub - 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 into the compiler. - discu.eu

Hacker News

Theseus: A modern experimental OS written from scratch in Rust https://github.com/theseus-os/Theseus 148 comments 12/1/2021

Reddit

Theseus is a new OS written from scratch in Rust to experiment with novel OS structure, better state management, and how to shift OS responsibilities like resource management into the compiler. https://github.com/theseus-os/theseus 20 comments 6/11/2020 rust

Linking pages

GitHub - rust-unofficial/awesome-rust: A curated list of Rust code and resources. https://github.com/rust-unofficial/awesome-rust 178 comments
GitHub - rust-unofficial/awesome-rust: A curated list of Rust code and resources. https://github.com/kud1ing/awesome-rust 30 comments
arl/README-Rust.md at master · kaxap/arl · GitHub https://github.com/kaxap/arl/blob/master/README-Rust.md 14 comments
24 Awesome Open-Source Rust Projects https://serokell.io/blog/open-source-rust 9 comments
GitHub - rust-unofficial/awesome-rust: A curated list of Rust code and resources. https://github.com/rust-unofficial/awesome-rust?tab=readme-ov-file#database 9 comments
GitHub - jubalh/awesome-os: A list of operating systems and stuff https://github.com/jubalh/awesome-os 7 comments
Operating systems | Everything I know https://wiki.nikiv.dev/operating-systems/ 2 comments

Linked pages

Would you like to stay up to date with Rust? Checkout Rust Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - 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 into the compiler.

See how to search.

Submit link to: