Alternatives and similar repositories for proj226-arceos-kernel-components-frameworks:

Users that are interested in proj226-arceos-kernel-components-frameworks are comparing it to the libraries listed below

• oscomp / testsuits-for-oskernel
  ☆117Updated 2 weeks ago
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆48Updated 3 years ago
• Godones / rCoreloongArch
  ☆21Updated 10 months ago
• tyyteam / la-seL4
  The seL4 microkernel with loongarch support, see official repositories at https://github.com/seL4
  ☆18Updated 2 years ago
• fung-hwang / CS110L-2020spr
  Assignments of Stanford CS110L-2020spr: Safety in Systems Programming
  ☆44Updated 2 years ago
• LearningOS / oscomp-kernel-training
  ☆47Updated 2 years ago
• chenzhiy2001 / code-debug
  Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…
  ☆36Updated 3 weeks ago
• plctlab / weloveinterns
  PLCT实验室实习生社区。
  ☆229Updated this week
• LiuJiLan / RVOS_On_VisionFive2
  RVOS在VisionFive2开发板上的移植。
  ☆15Updated 11 months ago
• equation314 / RVM-Tutorial
  Let's write an x86 hypervisor in Rust from scratch!
  ☆152Updated last year
• arceos-org / oscamp
  Experiments and course for oscamp.
  ☆10Updated 3 months ago
• oscourse-tsinghua / undergraduate-topic
  http://os.cs.tsinghua.edu.cn/research/FrontPage#A.2BZyx50WvVi74-
  ☆17Updated 2 months ago
• pku-minic / kira-rs
  The example SysY compiler Kira for PKU compiler course, written in Rust.
  ☆59Updated last year
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021
  ☆61Updated last month
• greenhandzpx / Titanix
  Titanix: A Unix-like OS.
  ☆22Updated last year
• oscomp / os-competition-info
  "全国大学生操作系统比赛2025"相关信息
  ☆271Updated last week
• 0x2d / mycompiler
  北京大学2021-2022编译原理Lab, SysY编译器 PKU 2021-2022 Compiler Principles, a SysY compiler
  ☆9Updated 2 years ago
• LearningInfiniTensor / learning-lm-rs
  ☆46Updated 4 months ago
• HUST-OS / xv6-k210
  Port XV6 to K210 board!
  ☆136Updated 3 years ago
• Azure-stars / arceos
  An experimental modular OS written in Rust.
  ☆16Updated last month
• sunshaoce / rvcc-course
  ☆84Updated 11 months ago
• storage-db / ToolDiy
  一本工具指南和开箱即用配置，旨在让大家选用和上手合适的工具。
  ☆155Updated last year
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆172Updated last year
• helesta-compiler / helesta
  A fast compiler for SysY code
  ☆18Updated 2 years ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆55Updated last year
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆114Updated 3 months ago
• LearningOS / rCore-Tutorial-Code-2023S
  Let's write an OS which can run on RISC-V in Rust from scratch!
  ☆16Updated last year
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆110Updated last week
• ustc-cs / COD-Resources-2017
  中科大 2017 级数字电路实验/组成原理实验的同学经验和资料分享
  ☆12Updated 5 years ago
• sunshaoce / rvcc
  本课程基于Rui的chibicc，@sunshaoce和@ksco将其由原来的X86架构改写为RISC-V 64架构，同时加入了大量的中文注释，并且配有316节对应于每一个commit的课程，帮助读者可以层层推进、逐步深入的学习编译器的构造。
  ☆337Updated last year