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,222Sep 22, 2024Updated 2 years ago
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:
- MOROS: Obscure Rust Operating System ๐ฆโ1,096Updated this week
- A Rust-based, lightweight unikernel.โ1,507Oct 15, 2026Updated last week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features suchโฆโ1,254Apr 7, 2025Updated last year
- Hermit for Rust.โ1,974Updated this week
- A secure embedded operating system for microcontrollersโ6,476Updated 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.
- A new operating system kernel with Linux binary compatibility written in Rust.โ3,466Feb 23, 2026Updated 8 months ago
- An experimental pure-Rust x86 bootloaderโ1,702Aug 18, 2026Updated 2 months ago
- Writing an OS in Rustโ17,785Aug 7, 2026Updated 2 months ago
- An OS kernel written in rust. Non POSIXโ817Oct 11, 2026Updated last week
- Mirror of https://gitlab.redox-os.org/redox-os/redoxโ16,650Sep 27, 2026Updated 3 weeks ago
- A comparison of operating systems written in Rustโ865Jun 19, 2026Updated 4 months ago
- An interpreter for Rust's mid-level intermediate representationโ6,676Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,639Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Gitโ12,050Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI โข AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ๐งโ๐ฌ Operating systemโ1,434Dec 15, 2025Updated 10 months ago
- Zircon microkernel reimplemented in Rust.โ1,782Sep 6, 2026Updated last month
- Learn to write an embedded OS in Rustโ14,740Feb 10, 2024Updated 2 years ago
- Cross-platform Rust rewrite of the GNU coreutilsโ24,281Updated this week
- A Rust compiler front-end for IDEsโ16,931Updated this week
- Library to program x86_64 hardware.โ940Oct 11, 2026Updated last week
- Tools for concurrent programming in Rustโ8,622Oct 1, 2026Updated 3 weeks ago
- Asterinas aims to be a production-grade Linux alternativeโmemory safe, high-performance, and more.โ5,019Updated this week
- A container runtime written in Rustโ7,649Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI โข AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A model checker for Rust programs.โ3,585Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,801Jul 13, 2026Updated 3 months ago
- A cross-platform GUI library for Rust, inspired by Elmโ31,823Updated this week
- An experimental modular OS written in Rust.โ784Jun 1, 2026Updated 4 months ago
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliantโ18,752Updated this week
- Toy microkernel and userspace written in Rust, exploring modern ideasโ268Sep 27, 2026Updated 3 weeks ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier โฆโ3,665Aug 31, 2026Updated last month
- Safe interop between Rust and C++โ6,851Oct 11, 2026Updated 2 weeks ago
- the champagne of beta embedded databasesโ9,101Apr 4, 2026Updated 6 months ago
- Managed Database hosting by DigitalOcean โข AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safeโฆโ1,669Updated this week
- ๐ Making Rust a first-class language and ecosystem for GPU shaders ๐งโ7,553Oct 31, 2025Updated 11 months ago
- A data-first Rust-native UI design toolkit.โ9,698Apr 23, 2026Updated 6 months ago
- Adding support for the Rust language to the Linux kernel.โ4,424Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssemblyโ4,895Mar 29, 2025Updated last year
- a smol tcp/ip stackโ4,628Updated this week
- A small and fast async runtime for Rustโ5,095Aug 3, 2026Updated 2 months ago