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.
  ☆340Updated 2 months ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆126Updated 5 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆138Updated 3 years ago
• PacktPublishing / Asynchronous-Programming-in-Rust
  Asynchronous Programming in Rust, published by Packt
  ☆294Updated 5 months ago
• ferrous-systems / rust-training
  Learning materials for the Rust Training courses by Ferrous Systems
  ☆302Updated last week
• rcore-os / buddy_system_allocator
  A buddy system allocator in pure Rust.
  ☆129Updated 2 weeks ago
• model-checking / verify-rust-std
  Verifying the Rust standard library
  ☆320Updated this week
• kaist-cp / rv6
  ☆135Updated 2 years ago
• rsouth / rust-reading-list
  Semi-organised collection of useful links from my experience learning Rust.
  ☆25Updated 4 years 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…
  ☆261Updated 4 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆102Updated 2 months ago
• espoal / uring_examples
  Rust io_uring examples
  ☆100Updated last month
• RWTH-OS / eduOS-rs
  A teaching operating system written in Rust
  ☆473Updated last month
• asterinas / vostd
  A community preview of ongoing formal verification efforts for Asterinas
  ☆42Updated this week
• rust-lang / google-summer-of-code
  Rust project ideas for Google Summer of Code
  ☆212Updated this week
• rust-unofficial / rust-practise-questions
  A book 📖 of questions for practise in Rust, learn Rust the hard way
  ☆160Updated 9 months ago
• ANLAB-KAIST / rust-dpdk
  ☆132Updated 11 months ago
• rust-corpus / qrates
  A framework for large scale analysis of the Rust ecosystem.
  ☆37Updated 2 weeks ago
• nikomatsakis / how-to-rust
  A collection of blog posts and links that talk about how to successfully use Rust.
  ☆403Updated 3 years ago
• sybila / biodivine-lib-bdd
  A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
  ☆24Updated 3 weeks ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated last year
• PacktPublishing / Practical-System-Programming-for-Rust-Developers
  Practical System Programming for Rust Developers, published by Packt
  ☆239Updated 3 years ago
• rust-embedded / aarch64-cpu
  Low level access to processors using the AArch64 execution state.
  ☆104Updated last month
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆182Updated 2 months ago
• oxidecomputer / p4
  A P4 compiler
  ☆135Updated this week
• rust-osdev / homepage
  ☆142Updated this week
• fintelia / riscv-decode
  Simple library for decoding RISC-V instructions
  ☆24Updated 2 months ago
• jwnhy / coffer
  Coffer is a RISC-V trusted execution environment developed in Rust.
  ☆21Updated 3 years ago
• rcore-os / rcore-user
  User programs for rCore OS
  ☆19Updated 3 years ago
• rust-secure-code / projects
  Contains a list of security related Rust projects.
  ☆268Updated last year