theseus-os/Theseus

Some data may be outdated — see provenance labels.

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. observed · 2026-10-01

github.com/theseus-os/Theseus · homepage · Rust · MIT (permissive) observed · 2026-10-01

Health v2 · maintenance only

32/100

Activity 0
Release rhythm 35
Longevity 100

Flags: no_releases

How is this computed?

round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-21. Adoption (stars, forks) is never an input.

gap_med: n/a
age_days: 3378
days_rel: n/a
days_push: 758
n_releases_24m: 0

Full methodology

Adoption not part of the score

3204 stars · 186 forks observed · 2026-10-01

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

Theseus is a research operating system written from scratch in Rust that explores intralingual design, shifting OS responsibilities like resource management into the compiler via language safety and affine types. It runs on bare metal (testable in QEMU) and is being extended with a WASM-native runtime to safely execute modules written in arbitrary languages.

Use cases

research operating system design in Rust
study how compiler type systems can replace OS resource management
run a safe-language kernel on bare metal or in QEMU
experiment with a WASM-native bare-metal runtime
learn OS kernel development with Rust
explore fault recovery and live evolution in OSes

When to choose

you are doing academic research on OS structure and language-OS co-design
you want to study or contribute to a from-scratch Rust kernel
you need a testbed for intralingual design or WASM-native system ideas

When to avoid

you need a production-ready OS for daily use or servers
you require broad hardware driver support or a mature ecosystem
you just need a general-purpose Linux alternative

Facets

application · maturity experimental

compiler security wasm operating-systems programming-languages embedded-systems rust cross-platform kernel intralingual-design research-os rust-os bare-metal qemu academic-research operating-system research linux

3 sources

readme: https://github.com/theseus-os/Theseus · fetched 2026-10-01 · 9d6fe4e1ebe5
homepage: https://www.theseus-os.com/ · fetched 2026-08-29 · 71e463cd7b91
site_page: https://www.theseus-os.com/2021/11/01/October-Update-WASM.html · fetched 2026-08-29 · 36c59b9adc72

Member repositories

Repository	Role	Health v2
theseus-os/Theseus	main	32

For agents

markdown · JSON · MCP: product_card(name="theseus-os/Theseus")

Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem