Alternatives and similar repositories for x-runikraft

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

• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆44Updated this week
• XpuOS / xsched
  A preemptive scheduling framework for diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs
  ☆76Updated last week
• Jiacheng / honeycomb-osdi23-ae
  ☆16Updated 2 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆20Updated last month
• thu-cs-lab / verilog-coding-standard
  Recommended coding standard of Verilog and SystemVerilog.
  ☆34Updated 3 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• SJTU-IPADS / PipeLLM
  ☆19Updated 7 months ago
• glarer / UserspaceBypass
  ☆58Updated last year
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆36Updated 10 months ago
• were / bfsh
  Being a full-stack hacker, RISCV, LLVM, and more.
  ☆18Updated 3 years ago
• xlab-uiuc / dmt
  Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]
  ☆14Updated last year
• zzrcxb / PinnedLoads
  Gem5 implementation of Pinned Loads: Taming Speculative Loads in Secure Processors
  ☆9Updated 2 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆21Updated 3 years ago
• OrderLab / TrainCheck
  A Framework for Automated Validation of Deep Learning Training Tasks
  ☆44Updated last week
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 4 years ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 3 months ago
• 130B848 / ipads-tutorial07
  ☆10Updated 3 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆38Updated 11 months ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 2 years ago
• oscomp / proj121-page-table-using-hashtable
  使用哈希页表实现虚拟机的stage-2页表
  ☆7Updated 3 months ago
• miaochenlu / Gem5_tutorials
  ☆20Updated 2 months ago
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆22Updated 4 years ago
• fxlin / os-course
  A fun OS course
  ☆19Updated 4 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
• vmexit / trio-sosp23-ae
  ☆18Updated last year
• decaf-lang / minidecaf-tests
  The MiniDecaf test cases.
  ☆18Updated 2 months ago
• Maxul / Aurora
  Trusted I/O Paths for SGX Enclaves
  ☆16Updated 5 years ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆76Updated 2 years ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆139Updated 3 years 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…
  ☆26Updated last year