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,131Sep 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:
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,241Apr 7, 2025Updated 11 months ago
- MOROS: Obscure Rust Operating System 🦉☆1,060Mar 15, 2026Updated last week
- A Rust-based, lightweight unikernel.☆1,410Mar 13, 2026Updated last week
- Hermit for Rust.☆1,883Updated this week
- A secure embedded operating system for microcontrollers☆6,257Updated this week
- An experimental pure-Rust x86 bootloader☆1,626Updated this week
- An OS kernel written in rust. Non POSIX☆811Jul 25, 2025Updated 7 months ago
- Writing an OS in Rust☆17,355Feb 26, 2026Updated 3 weeks ago
- A comparison of operating systems written in Rust☆841Oct 21, 2025Updated 5 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,154Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆11,000Mar 14, 2026Updated last week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,460Updated this week
- 🧑🔬 Operating system☆1,440Dec 15, 2025Updated 3 months ago
- An interpreter for Rust's mid-level intermediate representation☆5,966Updated this week
- Zircon microkernel reimplemented in Rust.☆1,778Apr 15, 2024Updated last year
- Learn to write an embedded OS in Rust☆14,598Feb 10, 2024Updated 2 years ago
- A Rust compiler front-end for IDEs☆16,170Updated this week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,737Mar 13, 2026Updated last week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,760Nov 21, 2025Updated 4 months ago
- A cross-platform GUI library for Rust, inspired by Elm☆29,890Updated this week
- Toy microkernel and userspace written in Rust, exploring modern ideas☆266Sep 16, 2025Updated 6 months ago
- Cross-platform Rust rewrite of the GNU coreutils☆22,926Updated this week
- Tools for concurrent programming in Rust☆8,369Feb 22, 2026Updated 3 weeks ago
- Library to program x86_64 hardware.☆916Mar 7, 2026Updated 2 weeks ago
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,587Oct 31, 2025Updated 4 months ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,537Updated this week
- A container runtime written in Rust☆7,280Updated this week
- the champagne of beta embedded databases☆8,947Nov 4, 2025Updated 4 months ago
- Safe interop between Rust and C++☆6,684Updated this week
- A data-first Rust-native UI design toolkit.☆9,726Feb 5, 2026Updated last month
- Adding support for the Rust language to the Linux kernel.☆4,327Updated this week
- A small and fast async runtime for Rust☆4,820Feb 23, 2026Updated 3 weeks ago
- An experimental modular OS written in Rust.☆742Updated this week
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,568Updated this week
- Kani Rust Verifier☆2,982Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,846Mar 29, 2025Updated 11 months ago
- a smol tcp/ip stack☆4,379Mar 10, 2026Updated last week
- Rust parser combinator framework☆10,340Aug 26, 2025Updated 6 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,986Feb 8, 2026Updated last month