-
OI-wiki Public
Forked from OI-wiki/OI-wiki🌟 Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）
TypeScript UpdatedJun 20, 2025 -
Human-Factors-Homework Public
Repository for the codes of the homework of Human Factors, Spring 2025
Python Other UpdatedJun 10, 2025 -
A catalog for all my labs, reports and course projects at Tsinghua University.
-
Repository for the codes of the homework of Computer Architecture, Spring 2025
C++ Other UpdatedJun 9, 2025 -
Numerical-Analysis-Homework Public
Repository for the codes of the homework of Numerical Analysis, Spring 2025
TeX Other UpdatedJun 9, 2025 -
Numerical-Analysis-Labs Public
Repository for the codes of the labs of Numerical Analysis, Spring 2025
Julia Other UpdatedJun 9, 2025 -
Repository for the codes of the homework of Operations Research(3)(Decision Making), Spring 2025
Python Other UpdatedJun 9, 2025 -
starry-next-mivik Public
Forked from Mivik/starry-nextA monolithic kernel based on ArceOS.
Rust UpdatedJun 5, 2025 -
-
-
arceos Public
Forked from arceos-org/arceosAn experimental modular OS written in Rust.
Rust Apache License 2.0 UpdatedMay 22, 2025 -
-
kani Public
Forked from model-checking/kaniKani Rust Verifier
Rust Apache License 2.0 UpdatedMay 7, 2025 -
oscamp Public
Forked from arceos-org/oscampExperiments and course for oscamp.
Rust Apache License 2.0 UpdatedApr 10, 2025 -
mosaic Public
Forked from jiangyy/mosaicThe MOSAIC Operating Systems Model and Checker
HTML MIT License UpdatedApr 8, 2025 -
os-lectures Public
Forked from LearningOS/os-lectures2025年春季OS课程Slides\实验指导\思维导图\挑战项目等 https://learningos.github.io/os-lectures/
HTML MIT License UpdatedApr 7, 2025 -
tntt Public
Forked from chillcicada/tnttTntt is Not a Tex Thesis Template for Tsinghua university...
Typst MIT License UpdatedApr 4, 2025 -
Starry-Tutorial-Book Public
Forked from Azure-stars/Starry-Tutorial-BookA concise guide that explains the composition of the modular operating system Starry
HTML UpdatedApr 3, 2025 -
verus Public
Forked from verus-lang/verusVerified Rust for low-level systems code
Rust MIT License UpdatedApr 3, 2025 -
Repository for the codes of the labs of Fundamentals of Programming, Fall 2023
C++ Other UpdatedMar 21, 2025 -
rCore-Tutorial-Guide-2025S Public
Forked from LearningOS/rCore-Tutorial-Guide-2025SCSS GNU General Public License v3.0 UpdatedMar 18, 2025 -
Repository for the notes of Principles of Signal Processing, Fall 2024
-
sast-skill-docs Public
Forked from SAST-skill-docers/sast-skill-docsSAST Skill Docs. We are paving the way for your CS studying.
HTML UpdatedFeb 23, 2025 -
-
Auto-Proof Public
Repository for the codes of the project of Discrete Mathematics(1), Fall 2023
-
Repository for the codes of the homework of Advanced Computer Programming, Fall 2024
-
Repository for the codes of the labs of Computer Networks Special Training, Spring 2025
Other UpdatedFeb 20, 2025 -
d2-docs Public
Forked from terrastruct/d2-docsLanguage documentation and blog for D2.
D2 BSD 3-Clause "New" or "Revised" License UpdatedFeb 13, 2025 -
d2 Public
Forked from terrastruct/d2D2 is a modern diagram scripting language that turns text to diagrams.
JavaScript Mozilla Public License 2.0 UpdatedFeb 13, 2025 -
{{ message }}