# Theseus

> operating system written in Rust

**Wikidata**: [Q104784109](https://www.wikidata.org/wiki/Q104784109)  
**Source**: https://4ort.xyz/entity/theseus-q104784109

## Summary
Theseus is an operating system written entirely in Rust. It is a free and open-source project hosted on GitHub, focused on research and development in modern operating system design.

## Key Facts
- Theseus is classified as both an operating system and free and open-source software.
- It is licensed under the MIT License, as documented in its source repository.
- The source code is publicly hosted at https://github.com/theseus-os/Theseus.
- Its official website is https://www.theseus-os.com/.
- Issues and development discussions are tracked via GitHub Issues at https://github.com/theseus-os/Theseus/issues.
- The system is described in academic papers from 2017 and 2020, archived online.
- Theseus is copyrighted but distributed under open-source terms.
- Its implementation relies entirely on the Rust programming language.

## FAQs
### Q: What programming language is Theseus built with?
A: Theseus is written exclusively in Rust, a systems language emphasizing memory safety and concurrency.

### Q: Where can I find Theseus's source code?
A: The complete source code is available on GitHub at https://github.com/theseus-os/Theseus.

### Q: Is Theseus free to use and modify?
A: Yes, it is free and open-source software licensed under the MIT License.

### Q: Has Theseus been published in academic research?
A: Yes, it is documented in peer-reviewed papers from 2017 and 2020, available via Rice University archives.

## Why It Matters
Theseus represents a significant exploration of operating system design principles using Rust, a language gaining traction for system-level security. Its open-source nature enables collaborative research into memory safety, kernel architecture, and modern development workflows. By providing an accessible Rust-based OS platform, it addresses emerging security challenges in computing while offering educational value for developers studying operating system internals. The project's academic documentation further solidifies its role in advancing theoretical and practical knowledge in operating system research.

## Notable For
- Being one of the first full operating systems implemented entirely in Rust.
- Academic publication in peer-reviewed journals (2017) and conferences (2020).
- Transparent development via a public GitHub repository with active issue tracking.
- Distribution under a permissive MIT License encouraging experimentation.
- Focus on research-oriented operating system design and documentation.

## Body
### Development
- Source code hosted exclusively on GitHub: https://github.com/theseus-os/Theseus
- Issue tracking managed through GitHub Issues: https://github.com/theseus-os/Theseus/issues
- No version numbers or release milestones specified in provided documentation.

### Technical Specifications
- Programming Language: Rust (Wikidata ID: Q575650)
- Licensing: MIT License (verified via GitHub repository)
- Instance Of: Operating system, Free and open-source software
- Copyright Status: Copyrighted (though distributed under open-source terms)

### Documentation
- Described in academic papers including:
  - "Theseus: An Experimental Operating System for Rust" (2017): http://kevinaboos.web.rice.edu/docs/theseus_plos2017.pdf
  - "Theseus: An Experimental Operating System for Rust" (2020): http://kevinaboos.web.rice.edu/docs/theseus_boos_osdi2020.pdf
- Papers available in English language with web archives maintained.
- Official website: https://www.theseus-os.com/ (last verified 2022-10-24)

## References

1. [Source](https://github.com/theseus-os/Theseus/blob/theseus_main/LICENSE-MIT)
2. [Source](https://github.com/theseus-os/Theseus)
3. [Source](https://api.github.com/repos/theseus-os/Theseus)