# theseus-os/Theseus

<https://repo.masters-masters.com/en/repos/theseus-os/Theseus>

[Home](https://repo.masters-masters.com/en) › [theseus-os](https://repo.masters-masters.com/en/owners/theseus-os) › [Theseus](https://repo.masters-masters.com/en/repos/theseus-os/Theseus)

theseus-os/Theseus has 3,222 stars on GitHub. Its RepoMasters card: RC tier. Theseus is a modern OS written from scratch in Rust that explores… Language: Rust.

| Field | Value |
| --- | --- |
| Owner | [theseus-os](https://repo.masters-masters.com/en/owners/theseus-os) |
| Stars | 3,222 |
| Forks | 188 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | MIT |
| Created | 2017 |
| Topics | operating-system, rust, kernel, research, theseus, intralingual |
| Tier | [RC (2,000 to 4,999 ★)](https://repo.masters-masters.com/en/ranks/blockbuster) |
| View on GitHub | [theseus-os/Theseus](https://github.com/theseus-os/Theseus) |

## Repository

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 i…

The tier for repos with 2,000 to 4,999 ★. Published odds per card pulled: 3%. Rarity: Epic.

## Nearby in Rust

- [leookun/cursor-byok · ★ 3,227 · Rust · RC](https://repo.masters-masters.com/en/repos/leookun/cursor-byok)
- [rust-cli/config-rs · ★ 3,222 · Rust · RC](https://repo.masters-masters.com/en/repos/rust-cli/config-rs)
- [matter-labs/zksync-era · ★ 3,222 · Rust · RC](https://repo.masters-masters.com/en/repos/matter-labs/zksync-era)
- [SilasMarvin/lsp-ai · ★ 3,210 · Rust · RC](https://repo.masters-masters.com/en/repos/SilasMarvin/lsp-ai)
- [trymirai/uzu · ★ 3,198 · Rust · RC](https://repo.masters-masters.com/en/repos/trymirai/uzu)

---
Data: GitHub · Illustration: the project’s public image, pixelated by RepoMasters.