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,168Sep 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,245Apr 7, 2025Updated last year
- MOROS: Obscure Rust Operating System 🦉☆1,089Updated this week
- A Rust-based, lightweight unikernel.☆1,465Updated this week
- Hermit for Rust.☆1,931Updated this week
- A secure embedded operating system for microcontrollers☆6,360Updated 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.
- An experimental pure-Rust x86 bootloader☆1,662Jun 16, 2026Updated last week
- An OS kernel written in rust. Non POSIX☆812Apr 21, 2026Updated 2 months ago
- Writing an OS in Rust☆17,532May 27, 2026Updated last month
- A comparison of operating systems written in Rust☆859Jun 19, 2026Updated last week
- Mirror of https://gitlab.redox-os.org/redox-os/redox☆16,394Updated this week
- An idiomatic, lean, fast & safe pure Rust implementation of Git☆11,615Updated this week
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,549Updated this week
- 🧑🔬 Operating system☆1,434Dec 15, 2025Updated 6 months ago
- An interpreter for Rust's mid-level intermediate representation☆6,353Updated this week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Zircon microkernel reimplemented in Rust.☆1,772Apr 15, 2024Updated 2 years ago
- Learn to write an embedded OS in Rust☆14,686Feb 10, 2024Updated 2 years ago
- A Rust compiler front-end for IDEs☆16,587Updated this week
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliant☆18,263Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,791May 23, 2026Updated last month
- A cross-platform GUI library for Rust, inspired by Elm☆30,822Updated this week
- Toy microkernel and userspace written in Rust, exploring modern ideas☆268Jun 16, 2026Updated last week
- Cross-platform Rust rewrite of the GNU coreutils☆23,671Updated this week
- Tools for concurrent programming in Rust☆8,495Updated 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.
- Library to program x86_64 hardware.☆930Updated this week
- 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧☆7,574Oct 31, 2025Updated 7 months ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,612Apr 22, 2026Updated 2 months ago
- the champagne of beta embedded databases☆9,034Apr 4, 2026Updated 2 months ago
- A container runtime written in Rust☆7,467Updated this week
- A data-first Rust-native UI design toolkit.☆9,710Apr 23, 2026Updated 2 months ago
- Safe interop between Rust and C++☆6,750Updated this week
- Adding support for the Rust language to the Linux kernel.☆4,382Updated this week
- A small and fast async runtime for Rust☆4,986Updated 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 experimental modular OS written in Rust.☆771Jun 1, 2026Updated 3 weeks ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,619Updated this week
- Kani Rust Verifier☆3,138Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,867Mar 29, 2025Updated last year
- a smol tcp/ip stack☆4,497Jun 16, 2026Updated last week
- Rust parser combinator framework☆10,429Aug 26, 2025Updated 10 months ago
- An implementation and definition of the Rust trait system using a PROLOG-like logic solver☆2,001Feb 8, 2026Updated 4 months ago