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

• pku-minic / open-test-cases
  Open test cases of PKU compiler course.
  ☆25Updated 3 years ago
• oscomp / proj121-page-table-using-hashtable
  使用哈希页表实现虚拟机的stage-2页表
  ☆7Updated 2 years ago
• pkuzengqi / how-to-begin-phd-CN
  ☆75Updated 2 years ago
• wongsingfo / paper-util
  Utilities for paper writing.
  ☆11Updated 7 months ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆17Updated last week
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆56Updated 3 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆67Updated 4 years ago
• sysartifacts / sysartifacts.github.io
  Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC
  ☆41Updated last week
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆117Updated 4 months ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 years ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆48Updated 3 years ago
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆21Updated 4 years ago
• jiegec / Projects
  A summary of my projects
  ☆47Updated last month
• pku-minic / MiniVM
  MiniVM is a virtual machine for executing Eeyore/Tigger IR.
  ☆35Updated 3 years ago
• ganler / GanlerCS
  Some CS notes during Jiawei's undergrad.
  ☆31Updated 3 years ago
• decaf-lang / minidecaf-tests
  The MiniDecaf test cases.
  ☆17Updated last year
• howardlau1999 / autograder-server
  ☆23Updated last year
• glarer / UserspaceBypass
  ☆56Updated 11 months ago
• PKUFlyingPig / pku-os-course
  Course website for Operating System course in Peking University.
  ☆13Updated 3 years ago
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated last year
• thu-cs-lab / tanlabs
  Tsinghua Advanced Networking Labs on FPGA
  ☆38Updated 5 months ago
• Vic0428 / Paper-Reading-Lists
  Random collections of my interested research papers / projects
  ☆20Updated 3 years ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆43Updated 4 years ago
• oscomp / proj275-eBPF-for-AI-ML-tracking-and-performance-analysis
  ☆12Updated last year
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆205Updated last month
• yukiiiteru / DailySchedule_2020
  OS Tutorial Summer of Code 2020
  ☆19Updated 2 years ago
• fxlin / os-course
  A fun OS course
  ☆19Updated 4 years ago
• Kuberboat / Kuberboat
  A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.
  ☆17Updated 2 years ago
• LyricZhao / ThinRouter
  A SystemVerilog implementation of MIPS32 CPU and RIP router
  ☆22Updated 5 years ago