Alternatives and similar repositories for Tacos

Users that are interested in Tacos are comparing it to the libraries listed below

• PKU-OS / pintos
  The pintos source distribution for PKU Operating System Course projects
  ☆49Updated 8 months ago
• pku-minic / kira-rs
  The example SysY compiler Kira for PKU compiler course, written in Rust.
  ☆86Updated 2 years ago
• pku-minic / open-test-cases
  Open test cases of PKU compiler course.
  ☆27Updated 3 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆199Updated 2 years ago
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆164Updated last month
• oscomp / testsuits-for-oskernel
  ☆139Updated 2 months ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆144Updated 4 years ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆129Updated 10 months ago
• greenhandzpx / Titanix
  Titanix: A Unix-like OS.
  ☆24Updated 3 weeks ago
• ZhenbangYou / Computer-Systems-Learning-Resources-A-Recommended-List
  ☆58Updated last year
• hpcgame / hpcgame_1st_problems
  Repository for HPCGame 1st Problems.
  ☆68Updated last year
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆62Updated 8 months ago
• fung-hwang / CS110L-2020spr
  Assignments of Stanford CS110L-2020spr: Safety in Systems Programming
  ☆55Updated 2 weeks ago
• helesta-compiler / helesta
  A fast compiler for SysY code
  ☆18Updated 3 years ago
• decaf-lang / minidecaf-tests
  The MiniDecaf test cases.
  ☆18Updated 5 months ago
• zhang-tlgg / HPC-Lab
  HPC-Lab for High Performance Computing course, 2023 Spring , Tsinghua Universit. 高性能计算导论 @ THU.
  ☆24Updated 2 years ago
• LearningInfiniTensor / learning-lm-rs
  ☆63Updated 11 months ago
• arcsysu / SYsU-lang
  A mini, simple and modular compiler for SYsU/SysY(tiny C). Based on Clang/LLVM/ANTLR4/Bison/Flex.
  ☆221Updated 10 months ago
• SYSU-SCC / yatcpu-docs
  Documentation for YatCPU
  ☆53Updated last year
• pku-minic / compiler-dev
  Compiler development environment.
  ☆20Updated 10 months ago
• chhzh123 / CS-Notes
  Notes of computer science courses
  ☆28Updated 5 years ago
• ACMClassCourses / Compiler-Design-Implementation
  ☆78Updated last year
• hpcgame / hpc-wiki
  Wiki fo HPC
  ☆122Updated 3 months ago
• LearningOS / rCore-Tutorial-Code-2023S
  Let's write an OS which can run on RISC-V in Rust from scratch!
  ☆16Updated 2 years ago
• oscomp / starry-next
  基于arceos unikernel的轻量组件化宏内核 starry-next, 位列支持linux app的宏内核排行榜：https://learningos.cn/oscomptest-grading , starry-next指导书：https://azure-sta…
  ☆18Updated 3 months ago
• vvvvsv / PKU-SysY-Compiler
  PKU 编译 lab 2023 - SysY 编译器
  ☆15Updated 2 years ago
• VariantConst / Marchkov-Helper
  新燕园人的私人班车助手（非官方）。
  ☆67Updated 3 months ago
• thu-cs-lab / HPC-Lab-Docs
  Documentation for HPC course
  ☆156Updated 4 months ago
• chenyxuan / PintOS
  system 2019 project
  ☆14Updated 5 years ago
• PKUFlyingPig / pku-os-course
  Course website for Operating System course in Peking University.
  ☆13Updated 3 years ago