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,091Updated 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,851Updated this week
- Migrate C code to Rust☆4,591Updated this week
- An interpreter for Rust's mid-level intermediate representation☆5,662Updated this week
- A Rust-based, lightweight unikernel.☆1,389Updated this week
- An experimental pure-Rust x86 bootloader☆1,598Updated 2 weeks ago
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,244Updated 8 months ago
- GCC Front-End for Rust☆2,777Updated this week
- The Rust Performance Book☆2,611Updated last month
- Interactively Visualizing Ownership and Borrowing for Rust☆2,815Updated last year
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,452Updated last year
- A small and fast async runtime for Rust☆4,630Updated last week
- A comparison of operating systems written in Rust☆822Updated last month
- MOROS: Obscure Rust Operating System 🦉☆1,030Updated this week
- Rhai - An embedded scripting language for Rust.☆5,045Updated 2 weeks ago
- The Elegant Parser☆5,225Updated 3 weeks ago
- LR(1) parser generator for Rust☆3,398Updated last week
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,531Updated last week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,346Updated this week
- A secure embedded operating system for microcontrollers☆6,112Updated this week
- The Dark Arts of Advanced and Unsafe Rust Programming☆2,169Updated this week
- Tool to create bootable disk images from a Rust OS kernel.☆862Updated 4 months ago
- Rust friendly bindings to *nix APIs☆2,943Updated last week
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,666Updated 3 weeks ago
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆5,035Updated last week
- Tools for concurrent programming in Rust☆8,208Updated this week
- Write expressive, high-performance parsers with ease.☆4,350Updated last week
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,756Updated this week
- 🧑🔬 Operating system☆1,444Updated this week
- a smol tcp/ip stack☆4,285Updated last month
- A modern TLS library in Rust☆7,111Updated this week