chyyuu

chyyuu

Geek Repo

Company:Tsinghua Unviersity

Location:Beijing, China

Home Page:http://soft.cs.tsinghua.edu.cn/~chen

Github PK Tool:Github PK Tool


Organizations
LearningOS
rcore-os

chyyuu's repositories

os_kernel_lab

OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32

Language:RustLicense:GPL-3.0Stargazers:3891Issues:222Issues:41

aos_course_info

advanced os course info & some os papers

Language:CLicense:CC0-1.0Stargazers:323Issues:19Issues:9

compiler_course_info

compiler course info

rCore-Tutorial-Book-v3

Documentation of rCore-Tutorial version 3.5 in Chinese.

Language:PythonLicense:GPL-3.0Stargazers:8Issues:2Issues:0

rust-book-cs-brown-edu

The Rust Programming Language: Experimental Edition

License:NOASSERTIONStargazers:3Issues:0Issues:0

awesome-rust-formalized-reasoning

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

License:MITStargazers:2Issues:0Issues:0

rCore-Tutorial-v3

v3.5 https://rcore-os.github.io/rCore-Tutorial-Book-v3/index.html

Language:RustLicense:GPL-3.0Stargazers:2Issues:2Issues:0
Language:RustLicense:GPL-3.0Stargazers:2Issues:2Issues:0

rust-raspberrypi-OS-tutorials

:books: Learn to write an embedded OS in Rust :crab:

Language:RustLicense:Apache-2.0Stargazers:1Issues:1Issues:0

rv-arch-lab-terminus

A riscv isa simulator in rust.

Language:RustLicense:MITStargazers:1Issues:2Issues:0

2023OSCOMP

2023年OScomp备考网址

Stargazers:0Issues:1Issues:0

arce-os.github.io

the current status of arce-os

Stargazers:0Issues:1Issues:0

arceos

An experimental modular OS written in Rust.

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Stargazers:0Issues:2Issues:0
License:MITStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0

proj199-Linux-0.11-arm

Port Linux 0.11 to ARM platform

License:GPL-3.0Stargazers:0Issues:1Issues:0

proj212-la32-yocto

Yocto for 32bit LoongArch

License:GPL-3.0Stargazers:0Issues:1Issues:0

proj220-la-spmv

LoongArch稀疏矩阵乘向量算法实现与优化

License:GPL-3.0Stargazers:0Issues:1Issues:0

proj231-hypervisor-in-zephyr

基于Zephyr RTOS实现type-2型虚拟化

Stargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:2Issues:0
Language:CSSStargazers:0Issues:1Issues:0
Language:RustLicense:GPL-3.0Stargazers:0Issues:2Issues:0

syswonder-web

syswonder.org source code

Stargazers:0Issues:1Issues:0

virtio-drivers

VirtIO guest drivers in Rust.

Language:RustLicense:MITStargazers:0Issues:2Issues:0

xv6-rust

🦀️ Re-implement xv6-riscv in Rust

Language:RustLicense:MITStargazers:0Issues:1Issues:0