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,225Sep 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,101Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features suchโฆโ1,256Apr 7, 2025Updated last year
- A Rust-based, lightweight unikernel.โ1,513Updated this week
- Hermit for Rust.โ1,980Updated this week
- A secure embedded operating system for microcontrollersโ6,495Updated this week
- 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.
- A new operating system kernel with Linux binary compatibility written in Rust.โ3,467Feb 23, 2026Updated 8 months ago
- An OS kernel written in rust. Non POSIXโ817Updated this week
- Writing an OS in Rustโ17,815Oct 28, 2026Updated 2 weeks ago
- An experimental pure-Rust x86 bootloaderโ1,704Aug 18, 2026Updated 2 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/redoxโ16,718Updated this week
- A comparison of operating systems written in Rustโ867Jun 19, 2026Updated 4 months ago
- An interpreter for Rust's mid-level intermediate representationโ6,747Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,647Updated this week
- A tasteful, lean, fast & safe pure Rust implementation of Gitโ12,135Updated 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.
- ๐งโ๐ฌ Operating systemโ1,435Dec 15, 2025Updated 10 months ago
- Learn to write an embedded OS in Rustโ14,753Feb 10, 2024Updated 2 years ago
- Zircon microkernel reimplemented in Rust.โ1,784Sep 6, 2026Updated 2 months ago
- Cross-platform Rust rewrite of the GNU coreutilsโ24,367Updated this week
- Asterinas aims to be a production-grade Linux alternativeโmemory safe, high-performance, and more.โ5,093Updated this week
- Library to program x86_64 hardware.โ944Updated this week
- A Rust compiler front-end for IDEsโ16,993Updated this week
- Tools for concurrent programming in Rustโ8,643Nov 1, 2026Updated 2 weeks ago
- Toy microkernel and userspace written in Rust, exploring modern ideasโ268Sep 27, 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.
- A container runtime written in Rustโ7,681Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,811Jul 13, 2026Updated 4 months ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safeโฆโ1,682Updated this week
- the champagne of beta embedded databasesโ9,112Apr 4, 2026Updated 7 months ago
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliantโ18,857Updated this week
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier โฆโ3,670Aug 31, 2026Updated 2 months ago
- A cross-platform GUI library for Rust, inspired by Elmโ32,030Updated this week
- Safe interop between Rust and C++โ6,870Updated this week
- A model checker for Rust programs.โ3,682Updated 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.
- A data-first Rust-native UI design toolkit.โ9,695Apr 23, 2026Updated 6 months ago
- An experimental modular OS written in Rust.โ787Jun 1, 2026Updated 5 months ago
- ๐ Making Rust a first-class language and ecosystem for GPU shaders ๐งโ7,553Oct 31, 2025Updated last year
- Adding support for the Rust language to the Linux kernel.โ4,427Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssemblyโ4,893Mar 29, 2025Updated last year
- Rust version of THU uCore OS. Linux compatible.โ3,684Aug 24, 2023Updated 3 years ago
- Rust parser combinator frameworkโ10,488Aug 26, 2025Updated last year
Are these results useful?