pku-minic / next-gen-ir-proposal

Related projects ⓘ

Alternatives and complementary repositories for next-gen-ir-proposal

• decaf-lang / minidecaf-tests
  The MiniDecaf test cases.
  ☆17Updated 10 months ago
• decaf-lang / minidecaf
  The MiniDecaf compilers.
  ☆66Updated 3 years ago
• wongsingfo / paper-util
  Utilities for paper writing.
  ☆11Updated 2 months ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆12Updated 2 years ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 4 years ago
• pkuzengqi / how-to-begin-phd-CN
  ☆75Updated 2 years ago
• pku-minic / open-test-cases
  Open test cases of PKU compiler course.
  ☆22Updated 2 years ago
• PKUFlyingPig / pku-os-course
  Course website for Operating System course in Peking University.
  ☆13Updated 2 years ago
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021
  ☆61Updated 2 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆19Updated 2 years ago
• ganler / GanlerCS
  Some CS notes during Jiawei's undergrad.
  ☆31Updated 2 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆17Updated this week
• ganler / ResearchReading
  General system research material (not limited to paper) reading notes.
  ☆20Updated 3 years ago
• LyricZhao / ThinRouter
  A SystemVerilog implementation of MIPS32 CPU and RIP router
  ☆19Updated 4 years ago
• thu-cs-lab / verilog-coding-standard
  Recommended coding standard of Verilog and SystemVerilog.
  ☆33Updated 3 years ago
• glarer / UserspaceBypass
  ☆52Updated 5 months ago
• xmcp / pku-eutopia
  兆京大学班车预约 for Humans™
  ☆27Updated last month
• pku-minic / first-step
  Take your first step in writing a compiler.
  ☆29Updated 3 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆56Updated 3 years ago
• lcpu-club / overleaf
  PKU LaTeX
  ☆35Updated this week
• Vic0428 / Paper-Reading-Lists
  Random collections of my interested research papers / projects
  ☆20Updated 3 years ago
• FDUCSLG / OS-2020Fall-FDU
  Course Website for OS 2020 Fall at Fudan University
  ☆21Updated 3 years ago
• xlab-uiuc / reading-system-verification-papers
  A reading group for system verification papers
  ☆10Updated last year
• pku-minic / MiniVM
  MiniVM is a virtual machine for executing Eeyore/Tigger IR.
  ☆35Updated 2 years ago
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆34Updated last year
• PKU-OS / sp22
  Spring 2022 Course Website for Operating System Course at Peking University
  ☆11Updated 2 years ago
• thu-cs-lab / TCP-Lab-Docs
  Documentation for TCP Lab
  ☆11Updated 5 months ago
• VariantConst / Marchkov-Helper
  新燕园人的私人班车助手（非官方）。
  ☆49Updated last week
• liusy58 / CompilerNotes
  ☆20Updated 11 months ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆42Updated 4 years ago