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

• ganler / GanlerCS
  Some CS notes during Jiawei's undergrad.
  ☆33Updated 4 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  Website for Systems Research Seminar at UIUC
  ☆20Updated last week
• pku-minic / MiniVM
  MiniVM is a virtual machine for executing Eeyore/Tigger IR.
  ☆35Updated 4 years ago
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆22Updated 4 years ago
• pku-minic / open-test-cases
  Open test cases of PKU compiler course.
  ☆28Updated 4 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆63Updated last year
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆146Updated 4 years ago
• yukiiiteru / DailySchedule_2020
  OS Tutorial Summer of Code 2020
  ☆19Updated 3 years ago
• pku-minic / first-step
  Take your first step in writing a compiler.
  ☆29Updated 4 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆22Updated 3 years ago
• OrderLab / TrainCheck
  A Framework for Automated Validation of Deep Learning Training Tasks
  ☆60Updated 3 weeks ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 6 years ago
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 5 years ago
• wongsingfo / paper-util
  Utilities for paper writing.
  ☆12Updated 3 weeks ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆79Updated 3 years ago
• oscomp / proj275-eBPF-for-AI-ML-tracking-and-performance-analysis
  ☆12Updated 8 months ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆49Updated last week
• Shlw / Books-and-Exercises
  Book reading
  ☆16Updated 5 years ago
• emeryberger / csconferences
  Major CS conference publication stats (including accepted and submitted) by year.
  ☆168Updated last month
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• PKUFlyingPig / pku-os-course
  Course website for Operating System course in Peking University.
  ☆14Updated 4 years ago
• glarer / UserspaceBypass
  ☆58Updated last year
• nyu-systems / nyu-systems-seminar
  The NYU Systems Seminar
  ☆23Updated last year
• Vic0428 / Paper-Reading-Lists
  Random collections of my interested research papers / projects
  ☆20Updated 4 years ago
• nzh63 / syc
  Optimizing compiler for SysY (C subset)
  ☆44Updated last year
• oscomp / proj6-user-level-interrupt
  基于FPGA实现用户态中断硬件机制与优化操作系统内核
  ☆10Updated 10 months ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆37Updated last year
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆207Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆50Updated last year
• jiegec / Projects
  A summary of my projects
  ☆49Updated last month