Skip to content
@theseus-os

Theseus OS

The Theseus Operating System Maintainers

Pinned Loading

  1. Theseus Theseus Public

    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 an…

    Rust 2.8k 164

  2. wasmtime wasmtime Public

    Forked from bytecodealliance/wasmtime

    (Ported to Theseus) Standalone JIT-style runtime for WebAssembly, using Cranelift

    Rust 2 1

  3. rust rust Public

    Forked from rust-lang/rust

    Fork of Rust to support Theseus OS targets and `std` atop Theseus. Empowering everyone to build reliable and efficient software.

    Rust 1

Repositories

Showing 10 of 52 repositories
  • Theseus Public

    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.

    theseus-os/Theseus’s past year of commit activity
    Rust 2,783 MIT 164 36 26 Updated Jan 10, 2024
  • rust Public Forked from rust-lang/rust

    Fork of Rust to support Theseus OS targets and `std` atop Theseus. Empowering everyone to build reliable and efficient software.

    theseus-os/rust’s past year of commit activity
    Rust 0 12,677 5 0 Updated Nov 20, 2023
  • irq_safety Public

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

    theseus-os/irq_safety’s past year of commit activity
    Rust 7 7 0 1 Updated Oct 12, 2023
  • wasmtime Public Forked from bytecodealliance/wasmtime

    (Ported to Theseus) Standalone JIT-style runtime for WebAssembly, using Cranelift

    theseus-os/wasmtime’s past year of commit activity
    Rust 2 Apache-2.0 1,254 0 0 Updated Aug 3, 2023
  • backtrace-rs Public Forked from rust-lang/backtrace-rs

    Backtraces in Rust

    theseus-os/backtrace-rs’s past year of commit activity
    Rust 0 Apache-2.0 242 0 0 Updated Jul 12, 2023
  • spin-rs Public Forked from mvdnes/spin-rs

    Spin-based synchronization primitives

    theseus-os/spin-rs’s past year of commit activity
    Rust 0 MIT 85 0 0 Updated May 25, 2023
  • pl011 Public Forked from apgoetz/pl011_qemu

    Simple Driver for PL011 UARTS

    theseus-os/pl011’s past year of commit activity
    Rust 0 Apache-2.0 3 0 0 Updated Apr 19, 2023
  • volatile Public Forked from rust-osdev/volatile

    Volatile wrapper types for Rust, with support for `zerocopy` traits.

    theseus-os/volatile’s past year of commit activity
    Rust 0 19 0 1 Updated Apr 1, 2023
  • DFQueue Public

    A decoupled, fault-tolerant queue written in Rust.

    theseus-os/DFQueue’s past year of commit activity
    Rust 8 MIT 1 0 0 Updated Mar 27, 2023
  • uefi-bootloader Public
    theseus-os/uefi-bootloader’s past year of commit activity
    Rust 1 3 0 0 Updated Mar 23, 2023
View all repositories