Alternatives and similar repositories for course_os

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

• gz / rust-perfcnt
  Rust library to program hardware performance counter.
  ☆54Updated 2 years ago
• daniel5151 / gdbstub
  An ergonomic, featureful, and easy-to-integrate implementation of the GDB Remote Serial Protocol in Rust (with no-compromises #![no_std] …
  ☆358Updated last month
• jix / varisat
  SAT solver written in Rust
  ☆272Updated 2 years ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆198Updated 8 months ago
• repnop / vanadinite
  RISC-V OS written in Rust
  ☆142Updated last year
• ixy-languages / ixy.rs
  Rust rewrite of the ixy network driver
  ☆314Updated last year
• rust-osdev / linked-list-allocator
  ☆231Updated last year
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆362Updated 5 years ago
• rust-embedded / cortex-a
  Low level access to Cortex-A processors
  ☆119Updated 2 years ago
• gimli-rs / addr2line
  A cross-platform `addr2line` clone written in Rust, using `gimli`
  ☆378Updated this week
• rust-lang / compiler-builtins
  Rust implementations of compiler-rt and libm
  ☆446Updated last week
• denki / listings-rust
  A Rust language and style specification for the LaTeX-package listings
  ☆184Updated 2 years 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
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated last year
• StardustOS / stardust-oxide
  Rust-based Unikernel
  ☆125Updated last year
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆164Updated 3 weeks ago
• fabianschuiki / llhd
  Low Level Hardware Description — A foundation for building hardware design tools.
  ☆421Updated 3 years ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆273Updated last week
• mars-research / redleaf
  RedLeaf Operating System
  ☆133Updated 3 years ago
• gz / rust-x86
  Rust library to use x86 (amd64) specific functionality and registers.
  ☆314Updated last year
• penberg / manticore
  Manticore is a research operating system, written in Rust.
  ☆293Updated last year
• japaric / cargo-call-stack
  Whole program static stack analysis
  ☆641Updated 10 months ago
• repnop / fdt
  Rust crate for Flattened Devicetree parsing
  ☆50Updated 8 months ago
• m4b / faerie
  Magical ELF and Mach-o object file writer backend
  ☆282Updated last year
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated 2 months ago
• riscv-rust / riscv-rust-quickstart
  A template for building Rust applications for HiFive1 boards
  ☆216Updated 2 years ago
• ferrous-systems / sealed-rust
  Bringing Rust to the Safety Critical Domain
  ☆219Updated 5 years ago
• rust-vmm / vhost-user-backend
  Deprecated repository, code now lives in: https://github.com/rust-vmm/vhost/
  ☆20Updated 2 years ago
• r3-os / r3
  R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…
  ☆168Updated 2 years ago
• m4b / dryad
  An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
  ☆171Updated 7 years ago