Pinned Repositories
analysis
A Lean companion to Analysis I
chromium-play
cs336-spring2025-lectures
firefox
The official repository of Mozilla's Firefox web browser.
how2ai-course
How to AI (Almost) Anything Course
linux
Linux kernel source tree
edge-ai-play.github.io
edgeaiplay.github.io
smash-play.github.io
JiaGuoMengCalculator
家国梦建筑最优化计算器
coldcodecold's Repositories
coldcodecold/analysis
A Lean companion to Analysis I
coldcodecold/chromium-play
coldcodecold/cs336-spring2025-lectures
coldcodecold/firefox
The official repository of Mozilla's Firefox web browser.
coldcodecold/how2ai-course
How to AI (Almost) Anything Course
coldcodecold/linux
Linux kernel source tree