pku-minic / koopa
Library for generating/parsing/optimizing Koopa IR.
☆119Updated 4 months ago
Alternatives and similar repositories for koopa:
Users that are interested in koopa are comparing it to the libraries listed below
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆60Updated last year
- The MiniDecaf tutorial documentation.☆94Updated 4 months ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆60Updated 2 years 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 in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021☆61Updated 2 months ago
- Optimizing compiler for SysY (C subset)☆41Updated last year
- A fast compiler for SysY code☆18Updated 2 years ago
- ☆49Updated 5 months ago
- BUAASE2019级的编译实验的实验指导与实验安排☆117Updated 2 years ago
- ChocoPy LLVM Repo☆75Updated 2 years ago
- Port XV6 to K210 board!☆136Updated 3 years ago
- Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…☆37Updated 2 weeks ago
- The MOSAIC Operating Systems Model and Checker☆187Updated last year
- rcore-os Developer Blog☆45Updated this week
- An unofficial reference implementation of the C Minus Minus Compiler☆56Updated 2 months ago
- ☆124Updated this week
- A compiler that translates SysY (a subset of C language) into ARMv7a, implemented in Java15.☆60Updated 3 years ago
- 没分支的 rCore-Tutorial☆45Updated 2 years ago
- Compiler development environment.☆18Updated 4 months ago
- Learn how to write a minimal working linker from scratch☆102Updated last year
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆48Updated 3 years ago
- The pintos source distribution for PKU Operating System Course projects☆48Updated 2 months ago
- A toy compiler for miniSysY, implemented in Rust. (Reference implementation for BUAA-SE-Compiler course project)☆27Updated last year
- ☆58Updated 4 years ago
- The MiniDecaf compilers.☆67Updated 4 years ago
- 2021年OS比赛获奖赛题(文档/代码开源),可用于2022年参赛同学的学习和提高☆48Updated 3 years ago
- 全国大学生计算机系统能力大赛编译系统设计赛项目☆242Updated 3 years ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆43Updated 4 years ago
- C-like language compiler, the final project of ZJU Compiler Principle course☆43Updated 2 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆205Updated last month