# theseus-os/theseus

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/theseus-os-theseus).**

_How this analysis was created: the description and tags below were written by an AI model that read this project's README and public documentation pages; stars, license and language come straight from the GitHub API. The model does not read the source code._

3,170 stars · 185 forks · Rust · MIT

## Links

- GitHub: https://github.com/theseus-os/Theseus
- Homepage: https://www.theseus-os.com/
- awesome-repositories: https://awesome-repositories.com/repository/theseus-os-theseus.md

## Description

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.

## Tags

### Part of an Awesome List

- [Operating Systems](https://awesome-repositories.com/f/awesome-lists/devtools/operating-systems.md) — Single address space OS with a focus on safe-language design.