chyyuu
Follow
-
lkmodel Public
Forked from shilei-massclouds/lkmodelLK model components.
Rust Apache License 2.0 UpdatedJan 8, 2025 -
rcore-tutorial-v3-with-hal-component Public
Forked from yfblock/rcore-tutorial-v3-with-hal-component -
starry-next Public
Forked from Azure-stars/starry-nextA monolithic kernel based on ArceOS.
Rust UpdatedJan 2, 2025 -
Starry-Tutorial-Book Public
Forked from Azure-stars/Starry-Tutorial-BookA concise guide that explains the composition of the modular operating system Starry
UpdatedJan 2, 2025 -
oscamp Public
Forked from arceos-org/oscampExperiments and course for oscamp.
Rust Apache License 2.0 UpdatedDec 20, 2024 -
generative-ai-for-beginners Public
Forked from microsoft/generative-ai-for-beginners21 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
-
aos-lectures Public
Forked from LearningOS/aos-lecturesTeX Creative Commons Zero v1.0 Universal UpdatedNov 5, 2024 -
aos_course_info Public
advanced os course info & some os papers
-
tour Public
Forked from shilei-massclouds/tourTour for monolithic kernel.
Apache License 2.0 UpdatedJul 3, 2024 -
-
os-lectures Public
Forked from LearningOS/os-lecturesos lectures 2022 spring
-
-
rCore-Tutorial-v3 Public
Forked from rcore-os/rCore-Tutorial-v3v3.5 https://rcore-os.github.io/rCore-Tutorial-Book-v3/index.html
-
-
-
-
-
awesome-rust-formalized-reasoning Public
Forked from newca12/awesome-rust-formalized-reasoningAn exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
-
rust-book-cs-brown-edu Public
Forked from cognitive-engineering-lab/rust-bookThe Rust Programming Language: Experimental Edition
-
-
-
arceos Public
Forked from arceos-org/arceosAn experimental modular OS written in Rust.
Rust Apache License 2.0 UpdatedAug 27, 2023 -
arce-os.github.io Public
Forked from Arce-OS/arce-os.github.iothe current status of arce-os
UpdatedAug 12, 2023 -
rv-arch-lab-terminus Public
Forked from shady831213/terminusA riscv isa simulator in rust.
-
-
proj208-performance-and-diagnosis-tool Public
Forked from FoxVolant/projX-performance-and-diagnosis-tool1 UpdatedMar 28, 2023 -
proj199-Linux-0.11-arm Public
Forked from yanjun-wen/proj-Linux-0.11-armPort Linux 0.11 to ARM platform
GNU General Public License v3.0 UpdatedMar 25, 2023 -
proj220-la-spmv Public
Forked from loongarch64/projX-la-spmvLoongArch稀疏矩阵乘向量算法实现与优化
GNU General Public License v3.0 UpdatedMar 25, 2023 -
proj231-hypervisor-in-zephyr Public
Forked from cocoeoli/proj-hypervisor-in-zephyr基于Zephyr RTOS实现type-2型虚拟化
UpdatedMar 23, 2023 -
proj212-la32-yocto Public
Forked from loongarch64/projX-la32-yoctoYocto for 32bit LoongArch
GNU General Public License v3.0 UpdatedMar 20, 2023