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,054Updated 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,825Updated this week
- A Rust-based, lightweight unikernel.☆1,340Updated last week
- Interactively Visualizing Ownership and Borrowing for Rust☆2,797Updated last year
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,270Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,450Updated 10 months ago
- An experimental pure-Rust x86 bootloader☆1,569Updated last month
- GCC Front-End for Rust☆2,714Updated last week
- An interpreter for Rust's mid-level intermediate representation☆5,487Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,240Updated 6 months ago
- Easy flamegraphs for Rust projects and everything else, without Perl or pipes <3☆5,533Updated last week
- The Rust Performance Book☆2,487Updated this week
- Migrate C code to Rust☆4,490Updated this week
- A comparison of operating systems written in Rust☆808Updated last month
- Adding support for the Rust language to the Linux kernel.☆4,242Updated last week
- Rust friendly bindings to *nix APIs☆2,903Updated 3 weeks ago
- a smol tcp/ip stack☆4,194Updated this week
- A small and fast async runtime for Rust☆4,500Updated last week
- A secure embedded operating system for microcontrollers☆6,011Updated this week
- Tools for concurrent programming in Rust☆8,101Updated 4 months ago
- The Elegant Parser☆5,125Updated this week
- a debugger for async rust!☆4,225Updated this week
- 🧑🔬 Operating system☆1,444Updated last week
- Rhai - An embedded scripting language for Rust.☆4,906Updated 3 weeks ago
- the champagne of beta embedded databases☆8,712Updated 4 months ago
- Framework for writing Linux kernel modules in safe Rust☆1,338Updated 4 years ago
- An RPC framework for Rust with a focus on ease of use.☆3,556Updated last week
- Automatically generates Rust FFI bindings to C (and some C++) libraries.☆4,962Updated this week
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,391Updated 5 months ago
- The Dark Arts of Advanced and Unsafe Rust Programming☆2,112Updated 2 weeks ago
- A container runtime written in Rust☆6,959Updated last week