Skip to content
@theseus-os

Theseus OS

The Theseus Operating System Maintainers

Pinned

  1. Theseus Public

    Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware to maximally leverage the power of language safety and …

    Rust 2.4k 131

  2. wasmtime Public

    Forked from bytecodealliance/wasmtime

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

    Rust 2 1

  3. 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

  • Theseus Public

    Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing 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 2,351 MIT 131 28 24 Updated Mar 19, 2023
  • Rust 0 1 0 0 Updated Mar 17, 2023
  • spin-rs Public

    Spin-based synchronization primitives

    Rust 0 MIT 76 0 1 Updated Jan 25, 2023
  • pl011 Public

    Simple Driver for PL011 UARTS

    Rust 0 Apache-2.0 2 0 0 Updated Jan 24, 2023
  • wasmtime Public

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

    Rust 2 Apache-2.0 939 0 1 Updated Jan 18, 2023
  • homepage Public
    CSS 0 Apache-2.0 28 0 0 Updated Jan 7, 2023
  • bootloader Public

    An experimental pure-Rust x86 bootloader

    Rust 0 Apache-2.0 173 0 0 Updated Dec 28, 2022
  • DFQueue Public

    A decoupled, fault-tolerant queue written in Rust.

    Rust 8 MIT 0 0 0 Updated Dec 13, 2022
  • rangemap Public

    Map data structure whose keys are stored as ranges

    Rust 0 Apache-2.0 21 0 0 Updated Dec 7, 2022
  • backtrace-rs Public

    Backtraces in Rust

    Rust 0 Apache-2.0 186 0 0 Updated Dec 7, 2022

Top languages

Loading…