PKU-OS / Tacos
Write your own operating system with Rust!
☆18Updated 9 months ago
Alternatives and similar repositories for Tacos:
Users that are interested in Tacos are comparing it to the libraries listed below
- ☆59Updated 11 months ago
- The pintos source distribution for PKU Operating System Course projects☆46Updated 6 months ago
- A fast compiler for SysY code☆18Updated 2 years ago
- 北京大学2021-2022编译原理Lab, SysY编译器 PKU 2021-2022 Compiler Principles, a SysY compiler☆9Updated 2 years ago
- A visualized debugging framework to aid in understanding the Linux kernel.☆99Updated this week
- Repository for HPCGame 1st Problems.☆61Updated 11 months ago
- Library for generating/parsing/optimizing Koopa IR.☆108Updated 2 months ago
- The MOSAIC Operating Systems Model and Checker☆167Updated last year
- Open test cases of PKU compiler course.☆23Updated 3 years ago
- An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021☆61Updated 2 years ago
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆59Updated last year
- Course website for Operating System course in Peking University.☆13Updated 3 years ago
- Let's write an OS which can run on RISC-V in Rust from scratch!☆16Updated last year
- A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.☆137Updated 3 years ago
- A Compiler from "Mx* language" (A C++ & Java like language) to RV32I Assembly, with optimizations on LLVM IR. SJTU CS2966 Project.☆11Updated last year
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆58Updated last year
- Spack package repository maintained by Student Cluster Competition Team @ Sun Yat-sen University.☆16Updated 2 months ago
- The MiniDecaf test cases.☆17Updated last year
- ☆36Updated 2 months ago
- tiger compiler reference to Modern Compiler Implementation in C (Tiger Book).☆46Updated 2 years ago
- Documentation for HPC course☆140Updated 3 weeks ago
- HPC-Lab for High Performance Computing course, 2023 Spring , Tsinghua Universit. 高性能计算导论 @ THU.☆19Updated last year
- system 2019 project☆13Updated 4 years ago
- ☆9Updated 2 weeks ago
- Documentation for YatCPU☆49Updated last year
- ☆14Updated 6 months ago
- Study materials collected while studying☆50Updated 2 years ago
- A toy SysY compiler for the PKU compiler course project, 2023 spring.☆12Updated last year
- ☆100Updated 2 weeks ago
- 北京大学编译原理课程实践2023春,一个SysY到RISC-V的编译器,实践文档:https://pku-minic.github.io/online-doc/#/☆20Updated last year