pku-minic / next-gen-ir-proposalLinks
Proposal for the next generation of course-oriented IR.
☆10Updated 3 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:
- Open test cases of PKU compiler course.☆25Updated 3 years ago
- A reading group for system verification papers☆10Updated last year
- MiniVM is a virtual machine for executing Eeyore/Tigger IR.☆35Updated 3 years ago
- ☆75Updated 2 years ago
- A summary of my projects☆49Updated 2 months ago
- 兆京大学班车预约 for Humans™☆27Updated 3 weeks ago
- Utilities for paper writing.☆11Updated last month
- Take your first step in writing a compiler.☆29Updated 4 years ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆44Updated 4 years ago
- The MiniDecaf compilers.☆67Updated 4 years ago
- Linux kernel labs☆56Updated 3 years ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- Course website for Operating System course in Peking University.☆13Updated 3 years ago
- General system research material (not limited to paper) reading notes.☆21Updated 4 years ago
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆43Updated this week
- ☆13Updated 3 weeks ago
- THU 编译原理课实验 -- 删减版 C 语言编译器(report 中思考题部分有错误)☆1Updated 3 years ago
- Some CS notes during Jiawei's undergrad.☆31Updated 3 years ago
- Library for generating/parsing/optimizing Koopa IR.☆121Updated 6 months ago
- website for systems seminar at UIUC☆19Updated 3 weeks ago
- Project template for Artix-7 based Thinpad board☆46Updated 2 years ago
- 2019. Spring. Projects for SJTU CS307 course☆1Updated 5 years ago
- ☆23Updated last year
- Optimizing compiler for SysY (C subset)☆42Updated last year
- Tsinghua Advanced Networking Labs on FPGA☆38Updated 7 months ago
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆138Updated 3 years ago
- An optimizing compiler targeting armv7 and risc-v32☆61Updated 4 months ago
- we'll try to answer some questions during our study about computer systems.☆58Updated 3 years ago
- Compiler 2020 cource of USTC labs☆9Updated 4 years ago
- Rebuild YatSenOS On RISC-V 64.☆20Updated 3 years ago