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.
☆2,859Updated last week
Related projects: ⓘ
- Hermit for Rust.☆1,659Updated this week
- Migrate C code to Rust☆3,932Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆2,951Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,157Updated last week
- An experimental pure-Rust x86 bootloader☆1,353Updated 3 weeks ago
- An interpreter for Rust's mid-level intermediate representation☆4,325Updated this week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,691Updated 7 months ago
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆4,619Updated last month
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,371Updated last week
- The Rust Performance Book☆2,273Updated 3 months ago
- GCC Front-End for Rust☆2,361Updated this week
- Rhai - An embedded scripting language for Rust.☆3,729Updated 2 weeks ago
- The Elegant Parser☆4,593Updated last week
- LR(1) parser generator for Rust☆3,008Updated this week
- Safe interop between Rust and C++☆5,801Updated last week
- a smol tcp/ip stack☆3,728Updated this week
- Adding support for the Rust language to the Linux kernel.☆3,924Updated this week
- Rust parser combinator framework☆9,357Updated last month
- A small and fast async runtime for Rust☆3,627Updated last week
- Tools for concurrent programming in Rust☆7,298Updated 3 weeks ago
- the champagne of beta embedded databases☆8,056Updated 2 weeks ago
- Rayon: A data parallelism library for Rust☆10,826Updated last month
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,326Updated last year
- A secure embedded operating system for microcontrollers☆5,348Updated last week
- Write expressive, high-performance parsers with ease.☆3,534Updated 2 weeks ago
- A modern TLS library in Rust☆5,869Updated this week
- The Dark Arts of Advanced and Unsafe Rust Programming☆1,800Updated last month
- Create ridiculously fast Lexers☆2,825Updated this week
- A comparison of operating systems written in Rust☆695Updated last year
- A Rust-based, lightweight unikernel.☆1,157Updated this week