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
25 repositories
Distributed Computing
1 repository
Formal Methods
26 repositories
🔮 Future ideas
1 repository
🏪 gallery
1 repository
✨ Inspiration
1 repository
Java
1 repository
LaTeX-TikZ-PGFPlots
1 repository
📖 Libraries
1 repository
🧰 LLM
21 repositories
LLVM
3 repositories
ML
Machine Learning9 repositories
My Projects
1 repository
🚀 My stack
Paper-List
3 repositories
Research
35 repositories
RISC-V
4 repositories
TLA+
12 repositories
Tools
2 repositories
Starred repositories
17
stars
written in HTML
Clear filter
f.k.a. Awesome ChatGPT Prompts. Share, discover, and collect prompts from the community. Free and open source — self-host for your organization with complete privacy.
A collection of resources on modern C++
Defines a common protocol for language servers.
Repository for the book "Crafting Interpreters"
Style your webpage like Edward Tufte’s handouts.
Curated list of resources on testing distributed systems
Defines a common protocol for debug adapters.
📚 深入浅出分布式基础架构，Linux 与操作系统篇 | 分布式系统篇 | 分布式计算篇 | 数据库篇 | 网络篇 | 虚拟化与编排篇 | 大数据与云计算篇
Google Coding Competitions problem archive