Explore @theseus-os Open Source projects

Theseus OS (@theseus-os)

theseus-os

Stars
2,654
Global Org. Rank 7,731 (Top 3 %)
Followers 1
Registered about 6 years ago
Most used languages

Rust
100.0 %
Location 🇺🇸 United States
Country Total Rank 4,065
Country Ranking

Rust
84

Theseus

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.

DFQueue

A decoupled, fault-tolerant queue written in Rust.

irq_safety

Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments.

new_blog

uefi-bootloader

theseus-os.github.io

The blog website for Theseus OS info and development updates.