Alternatives and similar repositories for lectures

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

• Rust-for-Linux / rust-out-of-tree-module
  Basic template for an out-of-tree Linux kernel module written in Rust.
  ☆308Updated 4 months ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆129Updated 3 years ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated last year
• kaist-cp / rv6
  ☆131Updated 2 years ago
• rust-osdev / homepage
  ☆132Updated this week
• ferrous-systems / rust-training
  Learning materials for the Rust Training courses by Ferrous Systems
  ☆250Updated this week
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆121Updated 5 years ago
• rust-vmm / vm-fdt
  ☆18Updated 11 months ago
• rust-embedded / aarch64-cpu
  Low level access to processors using the AArch64 execution state.
  ☆87Updated 8 months ago
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated last year
• ANLAB-KAIST / rust-dpdk
  ☆106Updated 4 months ago
• pveentjer / Rust-based-ARM-emulator
  A bogus CPU emulator written in Rust.
  ☆52Updated 11 months ago
• wenyuzhao / Sophon
  A Raspberry Pi OS Kernel in Rust
  ☆35Updated 8 months ago
• bendudson / EuraliOS
  A hobby x86-64 operating system written in Rust
  ☆138Updated 11 months ago
• rust-unofficial / rust-practise-questions
  A book 📖 of questions for practise in Rust, learn Rust the hard way
  ☆151Updated 2 months ago
• model-checking / verify-rust-std
  Verifying the Rust standard library
  ☆256Updated this week
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆36Updated 2 months ago
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆119Updated this week
• PacktPublishing / Asynchronous-Programming-in-Rust
  Asynchronous Programming in Rust, published by Packt
  ☆240Updated 7 months ago
• rcore-os / rcore-user
  User programs for rCore OS
  ☆18Updated 3 years ago
• Rust-for-Linux / klint
  Lints for kernel or embedded system development.
  ☆110Updated last week
• jonhoo / haphazard
  Hazard pointers in Rust.
  ☆204Updated last month
• rust-vmm / vhost
  ☆143Updated 2 weeks ago
• canndrew / netsim
  Network simulation in Rust
  ☆204Updated 7 months ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆37Updated this week
• posborne / rust-systems-programming
  Systems Programming in Rust
  ☆24Updated 9 years ago
• twizzler-operating-system / twizzler
  The Twizzler Operating System
  ☆95Updated last week
• JulianSchmid / etherparse
  A rust library for parsing ethernet & ethernet using protocols.
  ☆346Updated 2 months ago
• system-pclub / rust-programming-challenges
  code snippets for
  ☆9Updated last year
• mit-pdos / 6.826-2020-labs
  Lab assignments for 6.826
  ☆15Updated 4 years ago