8000 os-by-rs · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@os-by-rs

os-by-rs

Operating systems developed in Rust

Popular repositories Loading

  1. Theseus Theseus Public

    Forked from theseus-os/Theseus

    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. redox redox Public

    Forked from redox-os/redox

    Mirror of https://gitlab.redox-os.org/redox-os/redox

    Shell

  3. tock tock Public

    Forked from tock/tock

    A secure embedded operating system for microcontrollers

    Rust

  4. blog_os blog_os Public

    Forked from phil-opp/blog_os

    Writing an OS in Rust

    HTML

  5. rust-raspberrypi-OS-tutorials rust-raspberrypi-OS-tutorials Public

    Forked from rust-embedded/rust-raspberrypi-OS-tutorials

    📚 Learn to write an embedded OS in Rust 🦀

    Rust

  6. rCore rCore Public

    Forked from rcore-os/rCore

    Rust version of THU uCore OS. Linux compatible.

    Rust

Repositories

Showing 7 of 7 repositories
  • tock Public Forked from tock/tock

    A secure embedded operating system for microcontrollers

    os-by-rs/tock’s past year of commit activity
    Rust 0 746 0 0 Updated Jul 16, 2024
  • redox Public Forked from redox-os/redox

    Mirror of https://gitlab.redox-os.org/redox-os/redox

    os-by-rs/redox’s past year of commit activity
    Shell 0 MIT 971 0 0 Updated Jul 16, 2024
  • Theseus Public Forked from theseus-os/Theseus

    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.

    os-by-rs/Theseus’s past year of commit activity
    Rust 0 MIT 177 0 0 Updated Jul 10, 2024
  • blog_os Public Forked from phil-opp/blog_os

    Writing an OS in Rust

    os-by-rs/blog_os’s past year of commit activity
    HTML 0 Apache-2.0 1,161 0 0 Updated Jul 4, 2024
  • zCore Public Forked from rcore-os/zCore

    Zircon microkernel reimplemented in Rust.

    os-by-rs/zCore’s past year of commit activity
    Rust 0 MIT 218 0 0 Updated Apr 15, 2024
  • rust-raspberrypi-OS-tutorials Public Forked from rust-embedded/rust-raspberrypi-OS-tutorials

    📚 Learn to write an embedded OS in Rust 🦀

    os-by-rs/rust-raspberrypi-OS-tutorials’s past year of commit activity
    Rust 0 Apache-2.0 849 0 0 Updated Feb 10, 2024
  • rCore Public Forked from rcore-os/rCore

    Rust version of THU uCore OS. Linux compatible.

    os-by-rs/rCore’s past year of commit activity
    Rust 0 MIT 378 0 0 Updated Aug 24, 2023

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…
0