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
18
stars
written in Go
Clear filter
TiDB - the open-source, cloud-native, distributed SQL database designed for modern applications.
high-performance graph database for real-time use cases
A Q&A platform software for teams at any scales. Whether it's a community forum, help center, or knowledge management platform, you can always count on Apache Answer.
A Chaos Engineering Platform for Kubernetes.
A course to build distributed key-value service based on TiKV model
A collection of gdb tips. 100 maybe just mean many here.
A course to build the SQL layer of a distributed database.
Gives criticality score for an open source project
A fast linearizability checker written in Go 🔎
This repo maintains DM (a data migration platform) and TiCDC (change data capture for TiDB)
tidb-tools are some useful tool collections for TiDB.
A tool used to collect and merge tidb's binlog for real-time data backup and synchronization.
How to write a compiler from scratch in 30 minutes