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:
- Hermit for Rust.☆1,798Updated this week
- Migrate C code to Rust☆4,400Updated this week
- An experimental pure-Rust x86 bootloader☆1,514Updated last month
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,411Updated 8 months ago
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,233Updated 3 months ago
- A Rust-based, lightweight unikernel.☆1,312Updated this week
- GCC Front-End for Rust☆2,663Updated this week
- An interpreter for Rust's mid-level intermediate representation☆5,293Updated this week
- The Rust Performance Book☆2,446Updated last week
- Adding support for the Rust language to the Linux kernel.☆4,199Updated this week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,781Updated last year
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,204Updated this week
- A small and fast async runtime for Rust☆4,290Updated last month
- a debugger for async rust!☆4,102Updated 2 months ago
- A comparison of operating systems written in Rust☆784Updated 2 weeks ago
- Rhai - An embedded scripting language for Rust.☆4,711Updated this week
- Tools for concurrent programming in Rust☆7,960Updated last month
- Rust friendly bindings to *nix APIs☆2,848Updated 3 weeks ago
- A secure embedded operating system for microcontrollers☆5,901Updated this week
- Tool to create bootable disk images from a Rust OS kernel.☆824Updated 3 months ago
- The Elegant Parser☆5,002Updated last month
- The Dark Arts of Advanced and Unsafe Rust Programming☆2,061Updated last week
- a smol tcp/ip stack☆4,126Updated 2 weeks ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,439Updated last week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,353Updated last week
- 🧑🔬 Operating system☆1,444Updated this week
- LR(1) parser generator for Rust☆3,279Updated this week
- Write expressive, high-performance parsers with ease.☆4,119Updated 2 weeks ago
- A text editor in ≤1024 lines of code, written in Rust☆1,705Updated last week
- MOROS: Obscure Rust Operating System 🦉☆1,000Updated this week