Theseus OS

The Theseus Operating System Maintainers

Pinned

Theseus Public

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware t…

Rust 1.8k 74

Theseus Public
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware to maximally leverage the power of language safety, and thus shift OS responsibilities like resource management into the compiler.

Rust 1,768 MIT 74 14 (1 issue needs help) 7 Updated Mar 25, 2022
x86_64 Public
Library to program x86_64 hardware.

Rust 0 96 0 0 Updated Mar 24, 2022
irq_safety Public
Interrupt-safe locking structures, like Mutex and RwLock, for Rust no_std environments.

Rust 4 2 0 0 Updated Mar 21, 2022
spin-rs Public
Spin-based synchronization primitives

Rust 0 MIT 62 0 0 Updated Mar 21, 2022
wasmtime Public
Standalone JIT-style runtime for WebAssembly, using Cranelift

Rust 0 Apache-2.0 644 0 0 Updated Mar 19, 2022
region-rs Public
A cross-platform virtual memory API written in Rust

Rust 0 MIT 15 0 0 Updated Mar 15, 2022
thiserror-core2 Public
derive(Error) for struct and enum error types

Rust 0 73 0 0 Updated Mar 10, 2022
backtrace-rs Public
Backtraces in Rust

Rust 0 162 0 0 Updated Feb 25, 2022
wasm-tools Public
Low level tooling for WebAssembly in Rust

Rust 0 Apache-2.0 70 0 0 Updated Feb 17, 2022
theseus-os.github.io Public
The blog website for Theseus OS info and development updates.

Rust 1 0 0 0 Updated Feb 2, 2022

Loading…

Loading…