Alternatives and similar repositories for next-gen-ir-proposal

Users that are interested in next-gen-ir-proposal are comparing it to the libraries listed below

• pkuzengqi / how-to-begin-phd-CN
  ☆75Updated 2 years ago
• glarer / UserspaceBypass
  ☆57Updated last year
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 9 months ago
• pku-minic / open-test-cases
  Open test cases of PKU compiler course.
  ☆27Updated 3 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆20Updated last month
• oscomp / proj121-page-table-using-hashtable
  使用哈希页表实现虚拟机的stage-2页表
  ☆7Updated last month
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆44Updated 2 weeks ago
• wongsingfo / paper-util
  Utilities for paper writing.
  ☆11Updated 2 months ago
• PKUFlyingPig / pku-os-course
  Course website for Operating System course in Peking University.
  ☆13Updated 3 years ago
• howardlau1999 / autograder-server
  ☆23Updated last year
• pku-minic / MiniVM
  MiniVM is a virtual machine for executing Eeyore/Tigger IR.
  ☆35Updated 3 years ago
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated last year
• OrderLab / TrainCheck
  A Framework for Automated Validation of Deep Learning Training Tasks
  ☆26Updated this week
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆22Updated 4 years ago
• OSH-2020 / OSH-2020.github.io
  课程主页
  ☆32Updated 4 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated last month
• pku-minic / compiler-dev
  Compiler development environment.
  ☆19Updated 6 months ago
• Nelson-Cheung / yatsenos-riscv
  Rebuild YatSenOS On RISC-V 64.
  ☆20Updated 3 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆21Updated 3 years ago
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 4 years ago
• Kuberboat / Kuberboat
  A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.
  ☆17Updated 2 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆56Updated 4 years ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆123Updated 6 months ago
• ustb-owl / MimiC
  MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.
  ☆60Updated 2 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated last year
• VariantConst / Marchkov-Helper
  新燕园人的私人班车助手（非官方）。
  ☆56Updated 4 months ago
• markcty / rMiniK8s
  A simple containerized application manage system like Kubernetes, but written in Rust
  ☆19Updated 2 years ago
• alibaba-edu / qwen-bailian-usagetraces-anon
  ☆19Updated 2 weeks ago