Alternatives and similar repositories for course_os

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

• jix / varisat
  SAT solver written in Rust
  ☆274Updated 3 years ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆366Updated 6 years ago
• repnop / vanadinite
  RISC-V OS written in Rust
  ☆141Updated 3 weeks ago
• rust-embedded / embedonomicon
  How to bootstrap support for a no_std target
  ☆227Updated 2 weeks ago
• RWTH-OS / eduOS-rs
  A teaching operating system written in Rust
  ☆476Updated 2 months ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆200Updated last year
• denki / listings-rust
  A Rust language and style specification for the LaTeX-package listings
  ☆187Updated 2 years ago
• fabianschuiki / llhd
  Low Level Hardware Description — A foundation for building hardware design tools.
  ☆426Updated 3 years ago
• ixy-languages / ixy.rs
  Rust rewrite of the ixy network driver
  ☆318Updated 2 years ago
• gz / rust-perfcnt
  Rust library to program hardware performance counter.
  ☆59Updated 3 years ago
• m4b / dryad
  An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
  ☆173Updated 8 years ago
• rust-osdev / linked-list-allocator
  ☆238Updated last year
• rust-lang / compiler-builtins
  Rust implementations of compiler-rt and libm
  ☆475Updated this week
• IsaacWoods / poplar
  Toy microkernel and userspace written in Rust, exploring modern ideas
  ☆266Updated 4 months ago
• Kha / electrolysis
  Simple verification of Rust programs via functional purification in Lean 2(!)
  ☆339Updated 8 years ago
• thepowersgang / rust-barebones-kernel
  A barebones framework for a rust kernel.
  ☆288Updated 3 years ago
• rust-osdev / .github
  About this organization
  ☆132Updated last week
• sdleffler / tarpit-rs
  A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
  ☆244Updated 8 years ago
• trsupradeep / 15618-project
  Comparison of Multi-threading between C++ and Rust (OpenMP vs Rayon)
  ☆54Updated 6 years ago
• fabianschuiki / llhd-sim
  The LLHD reference simulator.
  ☆39Updated 5 years ago
• rust-embedded / riscv-rt
  Minimal runtime / startup for RISC-V CPU's.
  ☆304Updated 2 years ago
• r3-os / r3
  R3-OS — Experimental static RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics
  ☆171Updated 2 years ago
• rust-embedded / cortex-a
  Low level access to Cortex-A processors
  ☆122Updated 3 years ago
• Nilix007 / betree_storage_stack
  Be-Tree Storage Stack (part of my MSc. thesis)
  ☆25Updated 5 years ago
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆126Updated 5 years ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆75Updated last year
• StardustOS / stardust-oxide
  Rust-based Unikernel
  ☆133Updated 2 years ago
• riscv-rust / riscv-rust-quickstart
  A template for building Rust applications for HiFive1 boards
  ☆220Updated 2 years ago
• penberg / manticore
  Manticore is a research operating system, written in Rust.
  ☆295Updated 2 years ago
• hawkw / mycelium
  🍄 an alleged 'operating system'
  ☆734Updated last month