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,174Sep 22, 2024Updated last year
Alternatives and similar repositories for Theseus
Users that are interested in Theseus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,245Apr 7, 2025Updated last year
- MOROS: Obscure Rust Operating System 🦉☆1,094Updated this week
- A Rust-based, lightweight unikernel.☆1,474Updated this week
- Hermit for Rust.☆1,943Updated this week
- A secure embedded operating system for microcontrollers☆6,376Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- An experimental pure-Rust x86 bootloader☆1,669Jul 7, 2026Updated last week
- An OS kernel written in rust. Non POSIX☆813Apr 21, 2026Updated 2 months ago
- Writing an OS in Rust☆17,589Jul 7, 2026Updated last week
- A comparison of operating systems written in Rust☆862Jun 19, 2026Updated 3 weeks ago
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,433Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆11,701Updated this week
- 🧑🔬 Operating system☆1,435Dec 15, 2025Updated 7 months ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,563Updated this week
- An interpreter for Rust's mid-level intermediate representation☆6,415Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Learn to write an embedded OS in Rust☆14,694Feb 10, 2024Updated 2 years ago
- Zircon microkernel reimplemented in Rust.☆1,774Apr 15, 2024Updated 2 years ago
- A Rust compiler front-end for IDEs☆16,662Updated this week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆18,349Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,794Updated this week
- A cross-platform GUI library for Rust, inspired by Elm☆30,978Jul 9, 2026Updated last week
- Toy microkernel and userspace written in Rust, exploring modern ideas☆268Jul 3, 2026Updated 2 weeks ago
- Cross-platform Rust rewrite of the GNU coreutils☆23,778Updated this week
- Tools for concurrent programming in Rust☆8,521Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Library to program x86_64 hardware.☆933Jul 11, 2026Updated last week
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,572Oct 31, 2025Updated 8 months ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,621Apr 22, 2026Updated 2 months ago
- the champagne of beta embedded databases☆9,045Apr 4, 2026Updated 3 months ago
- Adding support for the Rust language to the Linux kernel.☆4,387Updated this week
- A data-first Rust-native UI design toolkit.☆9,704Apr 23, 2026Updated 2 months ago
- A container runtime written in Rust☆7,493Updated this week
- Safe interop between Rust and C++☆6,774Updated this week
- A small and fast async runtime for Rust☆5,010Jun 27, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An experimental modular OS written in Rust.☆775Jun 1, 2026Updated last month
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,631Updated this week
- Kani Rust Verifier☆3,223Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,872Mar 29, 2025Updated last year
- a smol tcp/ip stack☆4,532Updated this week
- Rust parser combinator framework☆10,438Aug 26, 2025Updated 10 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆2,005Feb 8, 2026Updated 5 months ago