Skip to content

@theseus-os Theseus OS

Change the repository type filter

All

    Repositories list

    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.
      researchkerneloperating-systemtheseusintralingualrust
      Rust
      •
      MIT License
      •172•2.9k•40•29•Updated Sep 22, 2024Sep 22, 2024

    • rust

      Public
      Fork of Rust to support Theseus OS targets and `std` atop Theseus. Empowering everyone to build reliable and efficient software.
      Rust
      •
      Other
      •13k•0•5•0•Updated Nov 20, 2023Nov 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, 2023Oct 12, 2023

    • wasmtime

      Public
      (Ported to Theseus) Standalone JIT-style runtime for WebAssembly, using Cranelift
      Rust
      •
      Apache License 2.0
      •1.3k•2•0•0•Updated Aug 3, 2023Aug 3, 2023

    • backtrace-rs

      Public
      Backtraces in Rust
      Rust
      •
      Apache License 2.0
      •248•0•0•0•Updated Jul 12, 2023Jul 12, 2023

    • spin-rs

      Public
      Spin-based synchronization primitives
      Rust
      •
      MIT License
      •92•0•0•0•Updated May 25, 2023May 25, 2023

    • pl011

      Public
      Simple Driver for PL011 UARTS
      Rust
      •
      Apache License 2.0
      •2•0•0•0•Updated Apr 19, 2023Apr 19, 2023

    • volatile

      Public
      Volatile wrapper types for Rust, with support for `zerocopy` traits.
      Rust
      •19•0•0•1•Updated Apr 1, 2023Apr 1, 2023

    • DFQueue

      Public
      A decoupled, fault-tolerant queue written in Rust.
      rustqueuelock-freeno-std
      Rust
      •
      MIT License
      •1•8•0•0•Updated Mar 27, 2023Mar 27, 2023

    • uefi-bootloader

      Public
      Rust
      •3•1•0•0•Updated Mar 23, 2023Mar 23, 2023

    • homepage

      Public
      CSS
      •
      Apache License 2.0
      •34•0•0•0•Updated Jan 7, 2023Jan 7, 2023

    • bootloader

      Public
      An experimental pure-Rust x86 bootloader
      Rust
      •
      Apache License 2.0
      •214•0•0•0•Updated Dec 28, 2022Dec 28, 2022

    • rangemap

      Public
      Map data structure whose keys are stored as ranges
      Rust
      •
      Apache License 2.0
      •24•0•0•0•Updated Dec 7, 2022Dec 7, 2022

    • region-rs

      Public
      A cross-platform virtual memory API written in Rust
      Rust
      •
      MIT License
      •23•0•0•0•Updated Dec 3, 2022Dec 3, 2022

    • target-lexicon

      Public
      Target "triple" support (plus Theseus OS)
      Rust
      •
      Apache License 2.0
      •42•0•0•0•Updated Nov 18, 2022Nov 18, 2022

    • prebuilt-aavmf

      Public
      prebuilt binary files enabling UEFI support in qemu
      0•0•0•0•Updated Nov 11, 2022Nov 11, 2022

    • uefi-rs

      Public
      Rust wrapper for UEFI.
      Rust
      •
      Mozilla Public License 2.0
      •159•0•0•0•Updated Nov 8, 2022Nov 8, 2022

    • platform

      Public
      Traits for device driver objects, to be used by a kernel
      Rust
      •0•0•0•0•Updated Oct 17, 2022Oct 17, 2022

    • noline

      Public
      IO-agnostic line editor for embedded systems
      Rust
      •
      Mozilla Public License 2.0
      •9•0•0•0•Updated Oct 8, 2022Oct 8, 2022

    • rustyline

      Public
      Readline Implementation in Rust
      Rust
      •
      MIT License
      •178•0•0•0•Updated Sep 29, 2022Sep 29, 2022

    • theseus-builder

      Public
      Rust crate which would help build and run theseus
      Rust
      •0•0•0•0•Updated Aug 24, 2022Aug 24, 2022

    • libc

      Public
      Raw bindings to platform APIs for Rust
      Rust
      •
      Apache License 2.0
      •1k•0•0•0•Updated Aug 11, 2022Aug 11, 2022

    • kevinaboos

      Public
      Personal website for Kevin Boos
      HTML
      •0•0•0•0•Updated Jul 29, 2022Jul 29, 2022

    • theseus-os.github.io

      Public
      The blog website for Theseus OS info and development updates.
      rustresearchtheseusoperating-systemstheseus-os
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated Jul 26, 2022Jul 26, 2022

    • object

      Public archive
      A unified interface for reading and writing object file formats
      Rust
      •
      Apache License 2.0
      •157•0•0•0•Updated Jul 6, 2022Jul 6, 2022

    • qp-trie-rs

      Public archive
      An idiomatic and fast QP-trie implementation in pure Rust, changed to be no_std compatible.
      Rust
      •
      Mozilla Public License 2.0
      •24•0•0•0•Updated Jun 29, 2022Jun 29, 2022

    • x86_64

      Public archive
      Library to program x86_64 hardware.
      Rust
      •
      Apache License 2.0
      •132•0•0•0•Updated Jun 8, 2022Jun 8, 2022

    • core2

      Public
      The bare essentials of std::io for use in no_std. Alloc support is optional.
      Rust
      •
      Apache License 2.0
      •24•0•0•0•Updated May 2, 2022May 2, 2022

    • bincode

      Public archive
      A binary encoder / decoder implementation in Rust.
      Rust
      •
      MIT License
      •273•0•0•0•Updated Apr 20, 2022Apr 20, 2022

    • thiserror-core2

      Public
      derive(Error) for struct and enum error types
      Rust
      •
      Apache License 2.0
      •163•0•0•0•Updated Mar 10, 2022Mar 10, 2022