pku-minic / next-gen-ir-proposalLinks
Proposal for the next generation of course-oriented IR.
☆10Updated 4 years ago
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
Sorting:
- Take your first step in writing a compiler.☆29Updated 4 years ago
- Some CS notes during Jiawei's undergrad.☆33Updated 4 years ago
- Open test cases of PKU compiler course.☆28Updated 4 years ago
- MiniVM is a virtual machine for executing Eeyore/Tigger IR.☆35Updated 4 years ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- OS Tutorial Summer of Code 2020☆19Updated 3 years ago
- Utilities for paper writing.☆12Updated 8 months ago
- The MiniDecaf compilers.☆67Updated 4 years ago
- An optimizing compiler targeting armv7 and risc-v32☆63Updated 11 months ago
- Course website for Operating System course in Peking University.☆14Updated 4 years ago
- Course Website for OS 2020 Fall at Fudan University☆21Updated 4 years ago
- The MiniDecaf test cases.☆18Updated 7 months ago
- Book reading☆16Updated 5 years ago
- 基于FPGA实现用户态中断硬件机制与优化操作系统内核☆10Updated 9 months ago
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆146Updated 4 years ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆50Updated 5 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆209Updated 10 months ago
- The MOSAIC Operating Systems Model and Checker☆205Updated 2 years ago
- General system research material (not limited to paper) reading notes.☆22Updated 4 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆70Updated 2 years ago
- A Framework for Automated Validation of Deep Learning Training Tasks☆58Updated this week
- 兆京大学班车预约 for Humans™☆30Updated last month
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆62Updated 2 years ago
- A summary of my projects☆49Updated last week
- Framework of pa code for THU compiler principle course.☆13Updated 6 years ago
- Website for Systems Research Seminar at UIUC☆20Updated this week
- A collection of my undergraduate projects☆92Updated last year
- Major CS conference publication stats (including accepted and submitted) by year.☆165Updated 2 weeks ago
- Project template for Artix-7 based Thinpad board☆52Updated 3 months ago
- Tsinghua Advanced Networking Labs on FPGA☆39Updated last year