Alternatives and similar repositories for x-runikraft:

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

• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆17Updated this week
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆43Updated this week
• myl7 / compiler-2020-labs
  Compiler 2020 cource of USTC labs
  ☆9Updated 4 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated last year
• Jiacheng / honeycomb-osdi23-ae
  ☆15Updated last year
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆21Updated 4 years ago
• miaochenlu / Gem5_tutorials
  ☆19Updated last year
• thu-cs-lab / verilog-coding-standard
  Recommended coding standard of Verilog and SystemVerilog.
  ☆34Updated 3 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆20Updated 2 years ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 2 years ago
• YuantianDing / HilbertProver
  An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.
  ☆11Updated 3 months ago
• oscomp / proj121-page-table-using-hashtable
  使用哈希页表实现虚拟机的stage-2页表
  ☆7Updated 2 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆26Updated 3 months ago
• yuxguo / USTC-ComputerArchitecture-2020S
  Code for "Computer Architecture" in 2020 Spring.
  ☆28Updated 4 years ago
• 130B848 / ipads-tutorial07
  ☆10Updated 3 years ago
• dskarlatos / ElasticCuckooHashing
  (elastic) cuckoo hashing
  ☆14Updated 4 years ago
• Nelson-Cheung / yatsenos-riscv
  Rebuild YatSenOS On RISC-V 64.
  ☆19Updated 3 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
• xlab-uiuc / dmt
  Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]
  ☆13Updated last year
• were / bfsh
  Being a full-stack hacker, RISCV, LLVM, and more.
  ☆17Updated 3 years ago
• code-nowww / 2020-USTC-Compiler-Lab-MLIR
  Here is a final lab of Compiler in USTC, focusing on MLIR
  ☆17Updated 4 years ago
• howardlau1999 / yatcpu
  Yet another toy CPU.
  ☆91Updated last year
• hku-systems / cronus
  ☆18Updated 2 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆31Updated 3 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021
  ☆61Updated 2 months 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
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆33Updated 7 months ago
• zzrcxb / PinnedLoads
  Gem5 implementation of Pinned Loads: Taming Speculative Loads in Secure Processors
  ☆9Updated 2 years ago
• 0x5ec1ab / gpu-tlb
  ☆53Updated this week
• MasterJH5574 / Mx-Compiler
  🔪Mx-Star Compiler Project
  ☆14Updated 4 years ago