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,164Sep 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,242Apr 7, 2025Updated last year
- MOROS: Obscure Rust Operating System 🦉☆1,080Updated this week
- A Rust-based, lightweight unikernel.☆1,460Updated this week
- Hermit for Rust.☆1,922Jun 1, 2026Updated last week
- A secure embedded operating system for microcontrollers☆6,335Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An experimental pure-Rust x86 bootloader☆1,654May 29, 2026Updated last week
- An OS kernel written in rust. Non POSIX☆810Apr 21, 2026Updated last month
- Writing an OS in Rust☆17,495May 27, 2026Updated last week
- A comparison of operating systems written in Rust☆856Oct 21, 2025Updated 7 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,366Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆11,510Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,534Updated this week
- 🧑🔬 Operating system☆1,434Dec 15, 2025Updated 5 months ago
- An interpreter for Rust's mid-level intermediate representation☆6,267Updated 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.
- Zircon microkernel reimplemented in Rust.☆1,768Apr 15, 2024Updated 2 years ago
- Learn to write an embedded OS in Rust☆14,672Feb 10, 2024Updated 2 years ago
- A Rust compiler front-end for IDEs☆16,502Jun 2, 2026Updated last week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆18,147Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,788May 23, 2026Updated 2 weeks ago
- A cross-platform GUI library for Rust, inspired by Elm☆30,650Updated this week
- Toy microkernel and userspace written in Rust, exploring modern ideas☆268May 12, 2026Updated 3 weeks ago
- Cross-platform Rust rewrite of the GNU coreutils☆23,470Updated this week
- Tools for concurrent programming in Rust☆8,473Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Library to program x86_64 hardware.☆928May 29, 2026Updated last week
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,576Oct 31, 2025Updated 7 months ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,604Apr 22, 2026Updated last month
- the champagne of beta embedded databases☆9,012Apr 4, 2026Updated 2 months ago
- A container runtime written in Rust☆7,429Jun 1, 2026Updated last week
- A data-first Rust-native UI design toolkit.☆9,714Apr 23, 2026Updated last month
- Safe interop between Rust and C++☆6,733May 31, 2026Updated last week
- Adding support for the Rust language to the Linux kernel.☆4,367Updated this week
- A small and fast async runtime for Rust☆4,954May 13, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An experimental modular OS written in Rust.☆769Jun 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,615Jun 1, 2026Updated last week
- Kani Rust Verifier☆3,107Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,868Mar 29, 2025Updated last year
- a smol tcp/ip stack☆4,473Apr 30, 2026Updated last month
- Rust parser combinator framework☆10,414Aug 26, 2025Updated 9 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆2,000Feb 8, 2026Updated 4 months ago