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,127Sep 22, 2024Updated last year
Alternatives and similar repositories for Theseus
Users that are interested in Theseus are comparing it to the libraries listed below
Sorting:
- A Rust-based, lightweight unikernel.☆1,406Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,244Apr 7, 2025Updated 10 months ago
- Hermit for Rust.☆1,880Updated this week
- A secure embedded operating system for microcontrollers☆6,234Updated this week
- MOROS: Obscure Rust Operating System 🦉☆1,055Feb 9, 2026Updated 3 weeks ago
- An experimental pure-Rust x86 bootloader☆1,625Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆10,930Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,443Updated this week
- Writing an OS in Rust☆17,314Feb 20, 2026Updated last week
- An interpreter for Rust's mid-level intermediate representation☆5,929Updated this week
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,073Updated this week
- 🧑🔬 Operating system☆1,438Dec 15, 2025Updated 2 months ago
- A Rust compiler front-end for IDEs☆16,079Updated this week
- An OS kernel written in rust. Non POSIX☆810Jul 25, 2025Updated 7 months ago
- A comparison of operating systems written in Rust☆832Oct 21, 2025Updated 4 months ago
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,628Updated this week
- A cross-platform GUI library for Rust, inspired by Elm☆29,648Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,754Nov 21, 2025Updated 3 months ago
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,586Oct 31, 2025Updated 4 months ago
- Safe interop between Rust and C++☆6,671Feb 15, 2026Updated 2 weeks ago
- Tools for concurrent programming in Rust☆8,319Feb 22, 2026Updated last week
- A container runtime written in Rust☆7,240Updated this week
- the champagne of beta embedded databases☆8,930Nov 4, 2025Updated 3 months ago
- Learn to write an embedded OS in Rust☆14,584Feb 10, 2024Updated 2 years ago
- Cross-platform Rust rewrite of the GNU coreutils☆22,784Updated this week
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,515Apr 29, 2025Updated 10 months ago
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,841Mar 29, 2025Updated 11 months ago
- A data-first Rust-native UI design toolkit.☆9,723Feb 5, 2026Updated 3 weeks ago
- A small and fast async runtime for Rust☆4,782Updated this week
- Zircon microkernel reimplemented in Rust.☆1,777Apr 15, 2024Updated last year
- Adding support for the Rust language to the Linux kernel.☆4,325Updated this week
- Rust for Windows☆11,963Updated this week
- Library to program x86_64 hardware.☆915Jan 16, 2026Updated last month
- Rust parser combinator framework☆10,319Aug 26, 2025Updated 6 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,984Feb 8, 2026Updated 3 weeks ago
- Toy microkernel and userspace written in Rust, exploring modern ideas☆266Sep 16, 2025Updated 5 months ago
- a smol tcp/ip stack☆4,361Feb 19, 2026Updated last week
- Kani Rust Verifier☆2,953Updated this week
- Highly-available Distributed Fault-tolerant Runtime☆2,901Apr 22, 2023Updated 2 years ago