Lists (27)
💻 algorithms
5 repositories
📚 Books
10 repositories
C/CPP
17 repositories
Code Reading
6 repositories
💻 Compilers
36 repositories
💻 Computer Systems
3 repositories
💯 Coq
6 repositories
🪜 Courses
9 repositories
💻 Databases
23 repositories
Distributed Computing
1 repository
Formal Methods
25 repositories
🔮 Future ideas
1 repository
🏪 gallery
1 repository
✨ Inspiration
Java
1 repository
LaTeX-TikZ-PGFPlots
1 repository
📖 Libraries
1 repository
🧰 LLM
19 repositories
LLVM
3 repositories
ML
Machine Learning9 repositories
My Projects
1 repository
🚀 My stack
Paper-List
2 repositories
Research
33 repositories
RISC-V
4 repositories
TLA+
11 repositories
Tools
1 repository
Starred repositories
8
stars
written in Shell
Clear filter
Papers from the computer science community to read and discuss.
《代码随想录》LeetCode 刷题攻略：200道经典题目刷题顺序，共60w字的详细图解，视频难点剖析，50余张思维导图，支持C++，Java，Python，Go，JavaScript等多语言版本，从此算法学习不再迷茫！🔥🔥 来看看，你会发现相见恨晚！🚀
A delightful community-driven framework for managing your bash configuration, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.