- 🔭 I’m currently working in Disalg in NJUCS.
- 🌱 I’m currently learning consensus protocols in distributed systems.
- 💬 Welcome to discuss about consensus algorithms, database systems with me.
- 📫 How to reach me: my email([email protected])
A student in the department of Computer Science and Technology in Nanjing University, currently learning consensus algorithms and databse systems.
-
Nanjing University
- Nanjing, China
Pinned Loading
-
MIT-6.824
MIT-6.824 PublicForked from chaozh/MIT-6.824
Basic Sources for MIT 6.824 Distributed Systems Class
Go
-
zab-v3.7-tla
zab-v3.7-tla PublicSpecifying and Verfying Zab in apache/zookeeper (with version 3.7.x) using TLA+
TLA
-
cmu-db-study
cmu-db-study PublicA repository to record my motes on the learning process and my labs of subtub.
-
compiler-assignment
compiler-assignment PublicOne junior course assignment in Compilation Principle which is guided by Professor Xinyu Dai.
C
-
turing-machine
turing-machine PublicThe experiment is the program assignment in Formal Languages and Automata taught by LeiBu. Any question, plz contact me anytime.
C++
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.