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,149Sep 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,241Apr 7, 2025Updated last year
- MOROS: Obscure Rust Operating System 🦉☆1,070Updated this week
- A Rust-based, lightweight unikernel.☆1,430Updated this week
- Hermit for Rust.☆1,902Updated this week
- A secure embedded operating system for microcontrollers☆6,299Updated 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.
- An experimental pure-Rust x86 bootloader☆1,640Apr 14, 2026Updated 2 weeks ago
- An OS kernel written in rust. Non POSIX☆813Updated this week
- Writing an OS in Rust☆17,424Updated this week
- A comparison of operating systems written in Rust☆850Oct 21, 2025Updated 6 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,252Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆11,235Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,489Updated this week
- 🧑🔬 Operating system☆1,436Dec 15, 2025Updated 4 months ago
- An interpreter for Rust's mid-level intermediate representation☆6,051Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Zircon microkernel reimplemented in Rust.☆1,772Apr 15, 2024Updated 2 years ago
- Learn to write an embedded OS in Rust☆14,644Feb 10, 2024Updated 2 years ago
- A Rust compiler front-end for IDEs☆16,305Updated this week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆17,924Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,771Apr 17, 2026Updated last week
- A cross-platform GUI library for Rust, inspired by Elm☆30,283Apr 20, 2026Updated last week
- Toy microkernel and userspace written in Rust, exploring modern ideas☆267Updated this week
- Cross-platform Rust rewrite of the GNU coreutils☆23,121Updated this week
- Tools for concurrent programming in Rust☆8,419Feb 22, 2026Updated 2 months ago
- 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.
- 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,564Updated this week
- the champagne of beta embedded databases☆8,974Apr 4, 2026Updated 3 weeks ago
- A container runtime written in Rust☆7,359Updated this week
- Safe interop between Rust and C++☆6,707Apr 21, 2026Updated last week
- A data-first Rust-native UI design toolkit.☆9,722Updated this week
- Adding support for the Rust language to the Linux kernel.☆4,348Updated this week
- A small and fast async runtime for Rust☆4,853Mar 23, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An experimental modular OS written in Rust.☆761Apr 14, 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,591Apr 20, 2026Updated last week
- Kani Rust Verifier☆3,053Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,852Mar 29, 2025Updated last year
- a smol tcp/ip stack☆4,422Apr 4, 2026Updated 3 weeks ago
- Rust parser combinator framework☆10,367Aug 26, 2025Updated 8 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,997Feb 8, 2026Updated 2 months ago