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,140Sep 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,240Apr 7, 2025Updated last year
- MOROS: Obscure Rust Operating System 🦉☆1,069Apr 3, 2026Updated last week
- A Rust-based, lightweight unikernel.☆1,415Apr 2, 2026Updated last week
- Hermit for Rust.☆1,889Apr 2, 2026Updated last week
- A secure embedded operating system for microcontrollers☆6,269Apr 1, 2026Updated last week
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- An experimental pure-Rust x86 bootloader☆1,632Updated this week
- An OS kernel written in rust. Non POSIX☆812Jul 25, 2025Updated 8 months ago
- Writing an OS in Rust☆17,392Feb 26, 2026Updated last month
- A comparison of operating systems written in Rust☆846Oct 21, 2025Updated 5 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,215Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆11,124Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,479Updated this week
- 🧑🔬 Operating system☆1,441Dec 15, 2025Updated 3 months ago
- An interpreter for Rust's mid-level intermediate representation☆6,007Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Zircon microkernel reimplemented in Rust.☆1,774Apr 15, 2024Updated last year
- Learn to write an embedded OS in Rust☆14,617Feb 10, 2024Updated 2 years ago
- A Rust compiler front-end for IDEs☆16,229Updated this week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,847Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,767Nov 21, 2025Updated 4 months ago
- A cross-platform GUI library for Rust, inspired by Elm☆30,103Updated 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☆23,043Updated this week
- Tools for concurrent programming in Rust☆8,385Feb 22, 2026Updated last month
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Library to program x86_64 hardware.☆920Mar 7, 2026Updated last month
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,584Oct 31, 2025Updated 5 months ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,549Mar 16, 2026Updated 3 weeks ago
- the champagne of beta embedded databases☆8,962Apr 4, 2026Updated last week
- A container runtime written in Rust☆7,313Apr 4, 2026Updated last week
- Safe interop between Rust and C++☆6,701Mar 27, 2026Updated 2 weeks ago
- A data-first Rust-native UI design toolkit.☆9,728Feb 5, 2026Updated 2 months ago
- Adding support for the Rust language to the Linux kernel.☆4,334Apr 4, 2026Updated last week
- A small and fast async runtime for Rust☆4,829Mar 23, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An experimental modular OS written in Rust.☆750Apr 1, 2026Updated last week
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,585Updated this week
- Kani Rust Verifier☆3,010Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,852Mar 29, 2025Updated last year
- a smol tcp/ip stack☆4,404Apr 4, 2026Updated last week
- Rust parser combinator framework☆10,357Aug 26, 2025Updated 7 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,990Feb 8, 2026Updated 2 months ago