Alternatives and similar repositories for x-runikraft:

Users that are interested in x-runikraft are comparing it to the libraries listed below

• oscomp / proj121-page-table-using-hashtable
  使用哈希页表实现虚拟机的stage-2页表
  ☆7Updated 2 years ago
• MasterJH5574 / Mx-Compiler
  🔪Mx-Star Compiler Project
  ☆14Updated 4 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆34Updated last week
• Jiacheng / honeycomb-osdi23-ae
  ☆14Updated last year
• glarer / UserspaceBypass
  ☆51Updated 9 months ago
• myl7 / compiler-2020-labs
  Compiler 2020 cource of USTC labs
  ☆9Updated 4 years ago
• victoryang00 / 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
• helesta-compiler / helesta
  A fast compiler for SysY code
  ☆18Updated 2 years ago
• gilgamsh / GenshinCPU
  Our repository for NSCSCC
  ☆18Updated last year
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆33Updated 5 months ago
• uclasystem / DRust
  ☆44Updated 4 months ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆17Updated this week
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆20Updated 2 years ago
• WukLab / Mira
  A Progam-Behavior-Guided Far Memory System
  ☆34Updated last year
• thu-cs-lab / verilog-coding-standard
  Recommended coding standard of Verilog and SystemVerilog.
  ☆33Updated 3 years ago
• 130B848 / ipads-tutorial07
  ☆10Updated 3 years ago
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 4 years ago
• Nelson-Cheung / yatsenos-riscv
  Rebuild YatSenOS On RISC-V 64.
  ☆19Updated 3 years ago
• were / bfsh
  Being a full-stack hacker, RISCV, LLVM, and more.
  ☆18Updated 3 years ago
• zihaoli-cn / compiler-paper-reading
  A group of students who are interested in Compilers, and they want to improve themselves together.
  ☆26Updated 2 years ago
• sxtyzhangzk / MxCompiler
  A Mx-language compiler focused on backend optimization (Compiler Project of ACM class @ SJTU)
  ☆9Updated 5 years ago
• bytedance / eurosys24-artifacts
  Artifacts of EuroSys'24 paper "Exploring Performance and Cost Optimization with ASIC-Based CXL Memory"
  ☆23Updated 11 months ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 2 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆22Updated last year
• tstamler / zIO
  Transparent zero-copy IO
  ☆18Updated 10 months ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆23Updated 2 years ago
• miaochenlu / Gem5_tutorials
  ☆18Updated last year
• zzrcxb / PinnedLoads
  Gem5 implementation of Pinned Loads: Taming Speculative Loads in Secure Processors
  ☆9Updated 2 years ago
• lingfenghsiang / Nomad
  OSDI'24 Nomad implementation
  ☆41Updated 2 months ago