Alternatives and similar repositories for visualinux:

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

• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆187Updated last year
• glarer / UserspaceBypass
  ☆57Updated 11 months ago
• uclasystem / DRust
  ☆46Updated 6 months ago
• iaGuoZhi / system-study-resources
  Study materials collected while studying
  ☆51Updated 3 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆43Updated last week
• IPADS-DuVisor / DuVisor
  ☆71Updated last year
• helesta-compiler / helesta
  A fast compiler for SysY code
  ☆18Updated 2 years ago
• LearningOS / oscomp-kernel-training
  ☆48Updated 2 years ago
• oscomp / proj121-page-table-using-hashtable
  使用哈希页表实现虚拟机的stage-2页表
  ☆7Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆36Updated 8 months ago
• sosson97 / msh
  ☆16Updated 9 months ago
• chyyuu / thoughts
  ☆42Updated last year
• OS-F-4 / usr-intr
  项目的主仓库
  ☆24Updated 2 years ago
• WukLab / Mira
  A Progam-Behavior-Guided Far Memory System
  ☆35Updated last year
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆34Updated 7 months ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆55Updated last year
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆48Updated 3 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆47Updated 5 months ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated last year
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆75Updated 2 years ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆119Updated 5 months ago
• vickiegpt / computer-architecture-revisit-a-quantitative-approach
  This repo stores a more profound view of Computer Architecture: A Quantitative Approach that tells multi-tenancy, virtualize, fine graine…
  ☆25Updated last year
• oscomp / testsuits-for-oskernel
  ☆124Updated last week
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆58Updated 3 months ago
• oscomp / proj8-RVM
  Writing a hypervisor in Rust
  ☆12Updated last month
• wangchenxi7 / Atlas
  ☆14Updated 9 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆205Updated last month
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆22Updated 2 years ago
• ksco / rvld
  Learn how to write a minimal working linker from scratch
  ☆102Updated last year
• OrderLab / TrainCheck
  A Framework for Automated Validation of Deep Learning Training Tasks
  ☆13Updated this week