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,207Sep 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:
- 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
- MOROS: Obscure Rust Operating System ๐ฆโ1,103Updated this week
- A Rust-based, lightweight unikernel.โ1,502Oct 2, 2026Updated last week
- A new operating system kernel with Linux binary compatibility written in Rust.โ3,467Feb 23, 2026Updated 7 months ago
- Hermit for Rust.โ1,968Oct 1, 2026Updated last week
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A secure embedded operating system for microcontrollersโ6,461Updated this week
- An experimental pure-Rust x86 bootloaderโ1,696Aug 18, 2026Updated last month
- An OS kernel written in rust. Non POSIXโ815Apr 21, 2026Updated 5 months ago
- Writing an OS in Rustโ17,764Aug 7, 2026Updated 2 months ago
- A comparison of operating systems written in Rustโ864Jun 19, 2026Updated 3 months ago
- Mirror of https://gitlab.redox-os.org/redox-os/redoxโ16,608Sep 27, 2026Updated last week
- An idiomatic, lean, fast & safe pure Rust implementation of Gitโ11,999Updated this week
- ๐งโ๐ฌ Operating systemโ1,435Dec 15, 2025Updated 9 months ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.โ3,625Updated this week
- GPUs on demand by Runpod - Special Offer Available โข AdRun AI, ML, and HPC workloads on powerful cloud GPUsโwithout limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- An interpreter for Rust's mid-level intermediate representationโ6,646Updated this week
- Learn to write an embedded OS in Rustโ14,739Feb 10, 2024Updated 2 years ago
- Zircon microkernel reimplemented in Rust.โ1,780Sep 6, 2026Updated last month
- A Rust compiler front-end for IDEsโ16,902Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.โ1,801Jul 13, 2026Updated 2 months ago
- A lightweight WebAssembly runtime that is fast, secure, and standards-compliantโ18,699Updated this week
- A cross-platform GUI library for Rust, inspired by Elmโ31,700Updated this week
- Toy microkernel and userspace written in Rust, exploring modern ideasโ269Sep 27, 2026Updated last week
- Cross-platform Rust rewrite of the GNU coreutilsโ24,225Updated this week
- Virtual machines for every use case on DigitalOcean โข AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Tools for concurrent programming in Rustโ8,599Oct 1, 2026Updated last week
- Library to program x86_64 hardware.โ937Sep 24, 2026Updated 2 weeks ago
- ๐ Making Rust a first-class language and ecosystem for GPU shaders ๐งโ7,557Oct 31, 2025Updated 11 months ago
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier โฆโ3,663Aug 31, 2026Updated last month
- A data-first Rust-native UI design toolkit.โ9,703Apr 23, 2026Updated 5 months ago
- the champagne of beta embedded databasesโ9,098Apr 4, 2026Updated 6 months ago
- Safe interop between Rust and C++โ6,840Updated this week
- Adding support for the Rust language to the Linux kernel.โ4,415Updated this week
- A container runtime written in Rustโ7,629Updated 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 small and fast async runtime for Rustโ5,079Aug 3, 2026Updated 2 months ago
- An experimental modular OS written in Rust.โ782Jun 1, 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,664Updated this week
- Asterinas aims to be a production-grade Linux alternativeโmemory safe, high-performance, and more.โ4,895Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssemblyโ4,891Mar 29, 2025Updated last year
- A model checker for Rust programs.โ3,523Updated this week
- a smol tcp/ip stackโ4,613Updated this week