pku-minic / koopa
Library for generating/parsing/optimizing Koopa IR.
☆115Updated 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.☆59Updated last year
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆138Updated 3 years ago
- The MiniDecaf tutorial documentation.☆93Updated 3 months ago
- The MOSAIC Operating Systems Model and Checker☆173Updated last year
- An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021☆61Updated 2 months ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆58Updated 2 years ago
- ChocoPy LLVM Repo☆75Updated 2 years ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆43Updated 4 years ago
- Learn how to write a minimal working linker from scratch☆101Updated 11 months ago
- ☆48Updated 4 months ago
- 2021年OS比赛获奖赛题(文档/代码开源),可用于2022年参赛同学的学习和提高☆48Updated 3 years ago
- Port XV6 to K210 board!☆136Updated 3 years ago
- BUAASE2019级的编译实验的实验指导与实验安排☆116Updated 2 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆54Updated 2 months ago
- 全国大学生计算机系统能力大赛编译系统设计赛项目☆243Updated 3 years ago
- rcore-os Developer Blog☆44Updated 3 months ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆205Updated 3 weeks ago
- Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…☆36Updated last month
- ☆123Updated this week
- 没分支的 rCore-Tutorial☆44Updated 2 years ago
- Assignments of Stanford CS110L-2020spr: Safety in Systems Programming☆45Updated 2 years ago
- The pintos source distribution for PKU Operating System Course projects☆47Updated last month
- ☆47Updated 2 years ago
- PKU compiler course online documentation.☆377Updated last month
- The MiniDecaf compilers.☆67Updated 4 years ago
- A fast compiler for SysY code☆18Updated 2 years ago
- CCC从2020年清华操作系统夏令营到2021年操作系统比赛结束的一段旅途的日志记录☆20Updated 3 years ago
- A toy compiler for miniSysY, implemented in Rust. (Reference implementation for BUAA-SE-Compiler course project)☆27Updated last year
- A toy C compiler that compatible with C23 and can do limited optimizations☆54Updated 4 months ago
- 一种支持多种架构嵌入式领域的实时操作系统,支持网络通信和grub启动☆65Updated last year