Alternatives and similar repositories for course_os

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

• llvm-mirror / polly
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆88Updated 6 years ago
• jix / varisat
  SAT solver written in Rust
  ☆275Updated 3 years ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆365Updated 6 years ago
• gz / rust-perfcnt
  Rust library to program hardware performance counter.
  ☆55Updated 3 years ago
• gz / rust-x86
  Rust library to use x86 (amd64) specific functionality and registers.
  ☆316Updated last year
• daniel5151 / gdbstub
  An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] …
  ☆371Updated last month
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆198Updated 11 months ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆75Updated last year
• denki / listings-rust
  A Rust language and style specification for the LaTeX-package listings
  ☆188Updated 2 years ago
• repnop / vanadinite
  RISC-V OS written in Rust
  ☆141Updated last year
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆130Updated 3 years ago
• djg / verilated-rs
  Verilator Porcelain
  ☆49Updated 2 years ago
• ixy-languages / ixy.rs
  Rust rewrite of the ixy network driver
  ☆318Updated 2 years ago
• fabianschuiki / llhd
  Low Level Hardware Description — A foundation for building hardware design tools.
  ☆424Updated 3 years ago
• riscv-rust / riscv-rust-quickstart
  A template for building Rust applications for HiFive1 boards
  ☆218Updated 2 years ago
• rsmpi / rsmpi
  MPI bindings for Rust
  ☆576Updated 2 weeks ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆162Updated 5 months ago
• project-oak / rust-verification-tools
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
  ☆275Updated 3 years ago
• japaric / cargo-call-stack
  Whole program static stack analysis
  ☆645Updated last year
• rust-osdev / acpi
  Rust library for parsing ACPI tables and interpreting AML
  ☆230Updated 2 months ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆125Updated 5 years ago
• rust-osdev / .github
  About this organization
  ☆133Updated 2 weeks ago
• rust-vmm / vm-fdt
  ☆19Updated last year
• fabianschuiki / llhd-sim
  The LLHD reference simulator.
  ☆39Updated 5 years ago
• gz / phdplot
  Make nice plots with matplotlib.
  ☆11Updated 6 years ago
• ucb-bar / esp-llvm
  UCB-BAR fork of LLVM! NOT UPSTREAM RISCV LLVM
  ☆122Updated 4 years ago
• s-kanev / XIOSim
  A detailed michroarchitectural x86 simulator
  ☆62Updated 8 years ago
• vijay03 / cs360v-f20
  CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.
  ☆65Updated 5 years ago
• ekiwi / fst-reader
  Native Rust implementation of the FST waveform format from GTKWave.
  ☆13Updated last month
• ezrosent / allocators-rs
  Allocators in Rust
  ☆317Updated 5 years ago