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,152Sep 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,241Apr 7, 2025Updated last year
- MOROS: Obscure Rust Operating System 🦉☆1,073Updated this week
- A Rust-based, lightweight unikernel.☆1,448Updated this week
- Hermit for Rust.☆1,919May 11, 2026Updated last week
- A secure embedded operating system for microcontrollers☆6,308Updated 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,644Apr 27, 2026Updated 3 weeks ago
- An OS kernel written in rust. Non POSIX☆810Apr 21, 2026Updated 3 weeks ago
- Writing an OS in Rust☆17,470Apr 23, 2026Updated 3 weeks ago
- A comparison of operating systems written in Rust☆854Oct 21, 2025Updated 6 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,316Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆11,429Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,504Updated this week
- 🧑🔬 Operating system☆1,435Dec 15, 2025Updated 5 months ago
- An interpreter for Rust's mid-level intermediate representation☆6,198Updated 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,772Apr 15, 2024Updated 2 years ago
- Learn to write an embedded OS in Rust☆14,657Feb 10, 2024Updated 2 years ago
- A Rust compiler front-end for IDEs☆16,443Updated this week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆18,012Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,780May 11, 2026Updated last week
- A cross-platform GUI library for Rust, inspired by Elm☆30,470May 12, 2026Updated last week
- Toy microkernel and userspace written in Rust, exploring modern ideas☆268May 12, 2026Updated last week
- Cross-platform Rust rewrite of the GNU coreutils☆23,238May 13, 2026Updated last week
- Tools for concurrent programming in Rust☆8,442Feb 22, 2026Updated 2 months ago
- 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.
- Library to program x86_64 hardware.☆925Apr 28, 2026Updated 3 weeks ago
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,575Oct 31, 2025Updated 6 months ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,585Apr 22, 2026Updated 3 weeks ago
- the champagne of beta embedded databases☆8,989Apr 4, 2026Updated last month
- A container runtime written in Rust☆7,399Updated this week
- A data-first Rust-native UI design toolkit.☆9,715Apr 23, 2026Updated 3 weeks ago
- Safe interop between Rust and C++☆6,718May 2, 2026Updated 2 weeks ago
- Adding support for the Rust language to the Linux kernel.☆4,359Updated this week
- A small and fast async runtime for Rust☆4,933May 13, 2026Updated last 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 experimental modular OS written in Rust.☆766Apr 29, 2026Updated 2 weeks ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,602May 11, 2026Updated last week
- Kani Rust Verifier☆3,078Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,861Mar 29, 2025Updated last year
- a smol tcp/ip stack☆4,446Apr 30, 2026Updated 2 weeks ago
- Rust parser combinator framework☆10,390Aug 26, 2025Updated 8 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆1,998Feb 8, 2026Updated 3 months ago