theseus-os / TheseusLinks
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,109Updated last year
Alternatives and similar repositories for Theseus
Users that are interested in Theseus are comparing it to the libraries listed below
Sorting:
- Hermit for Rust.☆1,860Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,248Updated 9 months ago
- A Rust-based, lightweight unikernel.☆1,395Updated last week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,456Updated last year
- An experimental pure-Rust x86 bootloader☆1,616Updated 2 weeks ago
- A comparison of operating systems written in Rust☆828Updated 3 months ago
- The Rust Performance Book☆2,628Updated last week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,820Updated last year
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,383Updated this week
- a smol tcp/ip stack☆4,331Updated 2 months ago
- GCC Front-End for Rust☆2,802Updated last week
- 🧑🔬 Operating system☆1,447Updated last month
- A small and fast async runtime for Rust☆4,710Updated last week
- An interpreter for Rust's mid-level intermediate representation☆5,837Updated this week
- Adding support for the Rust language to the Linux kernel.☆4,308Updated last week
- The Adventures of OS☆570Updated 3 years ago
- Framework for writing Linux kernel modules in safe Rust☆1,342Updated 4 years ago
- Tool to create bootable disk images from a Rust OS kernel.☆870Updated 2 weeks ago
- Rust friendly bindings to *nix APIs☆2,968Updated this week
- The Elegant Parser☆5,261Updated last week
- Migrate C code to Rust☆4,628Updated this week
- Rhai - An embedded scripting language for Rust.☆5,111Updated last week
- The Dark Arts of Advanced and Unsafe Rust Programming☆2,196Updated 2 weeks ago
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,740Updated last week
- MOROS: Obscure Rust Operating System 🦉☆1,045Updated this week
- LR(1) parser generator for Rust☆3,432Updated last week
- Create ridiculously fast Lexers☆3,425Updated 2 weeks ago
- A secure embedded operating system for microcontrollers☆6,195Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,749Updated 2 months ago
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,810Updated last week