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,028Updated 9 months ago
Alternatives and similar repositories for Theseus
Users that are interested in Theseus are comparing it to the libraries listed below
Sorting:
- Migrate C code to Rust☆4,400Updated this week
- Hermit for Rust.☆1,798Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,232Updated 3 months ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,204Updated this week
- GCC Front-End for Rust☆2,662Updated this week
- An interpreter for Rust's mid-level intermediate representation☆5,263Updated this week
- An experimental pure-Rust x86 bootloader☆1,514Updated last month
- Adding support for the Rust language to the Linux kernel.☆4,194Updated this week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,779Updated last year
- The Rust Performance Book☆2,446Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,411Updated 8 months ago
- A Rust-based, lightweight unikernel.☆1,308Updated this week
- A secure embedded operating system for microcontrollers☆5,889Updated last week
- The Elegant Parser☆4,997Updated 3 weeks ago
- Write expressive, high-performance parsers with ease.☆4,119Updated last week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,353Updated this week
- A comparison of operating systems written in Rust☆782Updated last week
- 🧑🔬 Operating system☆1,444Updated last week
- Rhai - An embedded scripting language for Rust.☆4,690Updated 2 weeks ago
- Create ridiculously fast Lexers☆3,200Updated 2 weeks ago
- Rust friendly bindings to *nix APIs☆2,848Updated 3 weeks ago
- LR(1) parser generator for Rust☆3,273Updated 3 weeks ago
- a smol tcp/ip stack☆4,126Updated 2 weeks ago
- Rust parser combinator framework☆9,988Updated 5 months ago
- Safe interop between Rust and C++☆6,361Updated last week
- A container runtime written in Rust☆6,782Updated this week
- a debugger for async rust!☆4,102Updated last month
- MOROS: Obscure Rust Operating System 🦉☆997Updated this week
- A small and fast async runtime for Rust☆4,282Updated last month
- The Dark Arts of Advanced and Unsafe Rust Programming☆2,058Updated last week