Alternatives and similar repositories for lectures

Users that are interested in lectures are comparing it to the libraries listed below

• mars-research / redleaf
  RedLeaf Operating System
  ☆138Updated 3 years ago
• model-checking / verify-rust-std
  Verifying the Rust standard library
  ☆322Updated last week
• ferrous-systems / rust-training
  Learning materials for the Rust Training courses by Ferrous Systems
  ☆302Updated 2 weeks ago
• rust-lang / google-summer-of-code
  Rust project ideas for Google Summer of Code
  ☆215Updated last week
• Rust-for-Linux / rust-out-of-tree-module
  Basic template for an out-of-tree Linux kernel module written in Rust.
  ☆342Updated 2 months ago
• d0u9 / Linux-Device-Driver-Rust
  A try to follow the rust port in Linux kernel in driver development.
  ☆105Updated 3 years ago
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆55Updated last year
• rcore-os / buddy_system_allocator
  A buddy system allocator in pure Rust.
  ☆129Updated 3 weeks ago
• rust-unofficial / rust-practise-questions
  A book 📖 of questions for practise in Rust, learn Rust the hard way
  ☆160Updated 9 months ago
• grahamking / perf-ninja-rs
  Rust port of dendibakh/perf-ninja - an online course where you can learn and master the skill of low-level performance analysis and tunin…
  ☆262Updated 5 months ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆126Updated 5 years ago
• rust-embedded / aarch64-cpu
  Low level access to processors using the AArch64 execution state.
  ☆105Updated last month
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆102Updated 2 months ago
• rustsbi / plic
  Rust support for RISC-V Platform-Level Interrupt Controller
  ☆10Updated 3 years ago
• bendudson / EuraliOS
  A hobby x86-64 operating system written in Rust
  ☆145Updated last year
• kw7oe / mini-db
  A mini dbms implementation in Rust.
  ☆65Updated 3 years ago
• rust-osdev / homepage
  ☆143Updated this week
• jonhoo / haphazard
  Hazard pointers in Rust.
  ☆217Updated 2 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆186Updated 2 months ago
• moratorium08 / osmium
  A toy operating system written in Rust on RISC V(rv32im)
  ☆209Updated 2 years ago
• PacktPublishing / Asynchronous-Programming-in-Rust
  Asynchronous Programming in Rust, published by Packt
  ☆295Updated 5 months ago
• Jaic1 / xv6-riscv-rust
  ☆75Updated 3 years ago
• IoTS-P / trustzone-m-rs
  Rust TrustZone-M application
  ☆54Updated 2 years ago
• asterinas / vostd
  A community preview of ongoing formal verification efforts for Asterinas
  ☆42Updated this week
• espoal / uring_examples
  Rust io_uring examples
  ☆100Updated last month
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆366Updated 6 years ago
• BurtonQin / Awesome-Rust-Checker
  A curated list of awesome Rust checkers
  ☆64Updated this week
• nikomatsakis / how-to-rust
  A collection of blog posts and links that talk about how to successfully use Rust.
  ☆403Updated 3 years ago
• tosc-rs / mnemos
  An Operating System for Building Small Computers
  ☆302Updated last year
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated last year