Skip to content
@theseus-os

Theseus OS

The Theseus Operating System Maintainers

Pinned Loading

  1. 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 3k 175

  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

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.

    Rust 2,972 MIT 175 41 28 Updated Sep 22, 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.

    Rust 0 13,795 5 0 Updated Nov 20, 2023
  • irq_safety Public

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

    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

    Rust 2 Apache-2.0 1,408 0 0 Updated Aug 3, 2023
  • backtrace-rs Public Forked from rust-lang/backtrace-rs

    Backtraces in Rust

    Rust 0 Apache-2.0 263 0 0 Updated Jul 12, 2023
  • spin-rs Public Forked from mvdnes/spin-rs

    Spin-based synchronization primitives

    Rust 0 MIT 96 0 0 Updated May 25, 2023
  • pl011 Public Forked from apgoetz/pl011_qemu

    Simple Driver for PL011 UARTS

    Rust 0 Apache-2.0 2 0 0 Updated Apr 19, 2023
  • volatile Public Forked from rust-osdev/volatile

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

    Rust 0 19 0 1 Updated Apr 1, 2023
  • DFQueue Public

    A decoupled, fault-tolerant queue written in Rust.

    Rust 8 MIT 1 0 0 Updated Mar 27, 2023
  • Rust 1 3 0 0 Updated Mar 23, 2023

Top languages

Loading…

Most used topics

Loading…