redshirt

🧑‍🔬 Operating system

GPL-3.0 License

Stars
1.4K
View Code on GitHub
Ecosystems: Rust

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
0
0
Time to Close Issues
N/A
N/A
Related Projects
rustc_codegen_cranelift

Cranelift based backend for rustc

22 Jun 2018 1,593
clt2024-rust-kernel-module

Chemnitzer Linux Tage 2024: Workshop Rust-Kernel-Modul selber bauen

29 Feb 2024 5
toyos-rs

Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/

28 Oct 2015 87
uploadserver

Simple Rust file server which lets you upload, share, and download files from a web browser. Read...

26 Dec 2015 33
rust-os-comparison

A comparison of operating systems written in Rust

03 Oct 2015 677
gdlk

GDLK is a web-based puzzle game based on an assembly-like programming language.

04 Nov 2019 1
ferrugo

Ferrugo is a JVM implementation written in Rust

20 Dec 2018 280
Lupine-OS

Security-centered, Super-customizable, Open Source, and user freindly OS. (aka LupOS)

02 Mar 2023 3
eyra

Rust programs written entirely in Rust

22 Sep 2023 755
mrustc

Alternative rust compiler (re-implementation)

28 Nov 2014 2,151
rust-tessel

Programming Tessel in Rust

28 Jun 2014 10
rust_os

An OS kernel written in rust. Non POSIX

06 Sep 2014 718
kerla

A new operating system kernel with Linux binary compatibility written in Rust.

18 May 2021 3,338
concordium-base

Core Rust and Haskell libraries used by various components of the Concordium blockchain, as well ...

29 Mar 2021 21
rust-playground

The Rust Playground

24 Jun 2016 1,089