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,184Sep 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,250Apr 7, 2025Updated last year
- MOROS: Obscure Rust Operating System ๐ฆโ1,094Updated this week
- A Rust-based, lightweight unikernel.โ1,485Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.โ3,469Feb 23, 2026Updated 6 months ago
- Hermit for Rust.โ1,958Updated this week
- 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.
- A secure embedded operating system for microcontrollersโ6,427Updated this week
- An experimental pure-Rust x86 bootloaderโ1,687Aug 18, 2026Updated last week
- An OS kernel written in rust. Non POSIXโ814Apr 21, 2026Updated 4 months ago
- Writing an OS in Rustโ17,696Aug 7, 2026Updated 3 weeks ago
- A comparison of operating systems written in Rustโ863Jun 19, 2026Updated 2 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/redoxโ16,541Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Gitโ11,881Updated this week
- ๐งโ๐ฌ Operating systemโ1,434Dec 15, 2025Updated 8 months ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,592Updated this week
- 1-Click AI Models by DigitalOcean Gradient โข AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An interpreter for Rust's mid-level intermediate representationโ6,537Updated this week
- Learn to write an embedded OS in Rustโ14,729Feb 10, 2024Updated 2 years ago
- Zircon microkernel reimplemented in Rust.โ1,777Apr 15, 2024Updated 2 years ago
- A Rust compiler front-end for IDEsโ16,804Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,794Jul 13, 2026Updated last month
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliantโ18,578Updated this week
- Toy microkernel and userspace written in Rust, exploring modern ideasโ267Jul 3, 2026Updated last month
- A cross-platform GUI library for Rust, inspired by Elmโ31,382Updated this week
- Cross-platform Rust rewrite of the GNU coreutilsโ23,999Updated 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,558Aug 11, 2026Updated 2 weeks ago
- Library to program x86_64 hardware.โ939Jul 20, 2026Updated last month
- ๐ Making Rust a first-class language and ecosystem for GPU shaders ๐งโ7,568Oct 31, 2025Updated 9 months ago
- A data-first Rust-native UI design toolkit.โ9,709Apr 23, 2026Updated 4 months ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier โฆโ3,641Apr 22, 2026Updated 4 months ago
- the champagne of beta embedded databasesโ9,079Apr 4, 2026Updated 4 months ago
- Safe interop between Rust and C++โ6,811Updated this week
- Adding support for the Rust language to the Linux kernel.โ4,402Updated this week
- A container runtime written in Rustโ7,571Updated 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 small and fast async runtime for Rustโ5,052Aug 3, 2026Updated 3 weeks ago
- An experimental modular OS written in Rust.โ781Jun 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,646Updated this week
- Kani Rust Verifierโ3,353Updated this week
- Asterinas aims to be a production-grade Linux alternativeโmemory safe, high-performance, and more.โ4,825Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssemblyโ4,884Mar 29, 2025Updated last year
- a smol tcp/ip stackโ4,579Aug 18, 2026Updated last week