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,180Sep 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,251Apr 7, 2025Updated last year
- MOROS: Obscure Rust Operating System ๐ฆโ1,092Updated this week
- A Rust-based, lightweight unikernel.โ1,481Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.โ3,470Feb 23, 2026Updated 5 months ago
- Hermit for Rust.โ1,954Updated 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.
- A secure embedded operating system for microcontrollersโ6,405Updated this week
- An experimental pure-Rust x86 bootloaderโ1,677Jul 27, 2026Updated last week
- An OS kernel written in rust. Non POSIXโ812Apr 21, 2026Updated 3 months ago
- Writing an OS in Rustโ17,642Updated this week
- A comparison of operating systems written in Rustโ864Jun 19, 2026Updated last month
- Mirror of https://gitlab.redox-os.org/redox-os/redoxโ16,495Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Gitโ11,764Updated this week
- ๐งโ๐ฌ Operating systemโ1,434Dec 15, 2025Updated 7 months ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,575Updated 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 interpreter for Rust's mid-level intermediate representationโ6,481Updated this week
- Learn to write an embedded OS in Rustโ14,713Feb 10, 2024Updated 2 years ago
- Zircon microkernel reimplemented in Rust.โ1,775Apr 15, 2024Updated 2 years ago
- A Rust compiler front-end for IDEsโ16,741Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,794Jul 13, 2026Updated 3 weeks ago
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliantโ18,485Updated this week
- Toy microkernel and userspace written in Rust, exploring modern ideasโ268Jul 3, 2026Updated last month
- A cross-platform GUI library for Rust, inspired by Elmโ31,186Updated this week
- Cross-platform Rust rewrite of the GNU coreutilsโ23,895Updated this week
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Tools for concurrent programming in Rustโ8,541Aug 1, 2026Updated last week
- Library to program x86_64 hardware.โ938Jul 20, 2026Updated 2 weeks ago
- ๐ Making Rust a first-class language and ecosystem for GPU shaders ๐งโ7,570Oct 31, 2025Updated 9 months ago
- A data-first Rust-native UI design toolkit.โ9,707Apr 23, 2026Updated 3 months ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier โฆโ3,636Apr 22, 2026Updated 3 months ago
- the champagne of beta embedded databasesโ9,060Apr 4, 2026Updated 4 months ago
- Safe interop between Rust and C++โ6,795Updated this week
- Adding support for the Rust language to the Linux kernel.โ4,395Updated this week
- A container runtime written in Rustโ7,527Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer โข AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A small and fast async runtime for Rustโ5,026Updated this week
- An experimental modular OS written in Rust.โ777Jun 1, 2026Updated 2 months ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safeโฆโ1,641Updated this week
- Kani Rust Verifierโ3,291Updated this week
- Asterinas aims to be a production-grade Linux alternativeโmemory safe, high-performance, and more.โ4,795Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssemblyโ4,879Mar 29, 2025Updated last year
- a smol tcp/ip stackโ4,562Updated this week