PKU-OS / Tacos
Write your own operating system with Rust!
☆14Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for Tacos
- The pintos source distribution for PKU Operating System Course projects☆44Updated 4 months ago
- ☆58Updated 9 months ago
- Typst template for dissertations in Peking University (PKU).☆17Updated 2 weeks ago
- Titanix: A Unix-like OS.☆17Updated last year
- ☆31Updated last year
- Documentation for YatCPU☆49Updated last year
- tiger compiler reference to Modern Compiler Implementation in C (Tiger Book).☆46Updated 2 years ago
- ☆12Updated 4 months ago
- Let's write an OS which can run on RISC-V in Rust from scratch!☆16Updated last year
- The example SysY compiler Kira for PKU compiler course, written in Rust.☆53Updated last year
- ☆24Updated 2 weeks ago
- 新燕园人的私人班车助手(非官方)。☆49Updated 3 weeks ago
- Course website for Operating System course in Peking University.☆13Updated 2 years ago
- Library for generating/parsing/optimizing Koopa IR.☆101Updated 7 months ago
- Open test cases of PKU compiler course.☆22Updated 2 years ago
- Tiered memory management☆60Updated 2 months ago
- A collection of awesome researchers and papers about disaggregated memory.☆125Updated 3 weeks ago
- system 2019 project☆13Updated 4 years ago
- The MiniDecaf test cases.☆17Updated 10 months ago
- ☆20Updated last year
- The MOSAIC Operating Systems Model and Checker☆162Updated last year
- Repository for HPCGame 1st Problems.☆54Updated 9 months ago
- A fast compiler for SysY code☆18Updated 2 years ago
- ☆98Updated 3 months ago
- ☆56Updated 2 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
- A Progam-Behavior-Guided Far Memory System☆34Updated last year
- UC Berkeley CS152 Computer Architecture and Engineering Labs☆20Updated 4 years ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆55Updated last year
- ☆9Updated 11 months ago