Binyu Huang's repositories
cmu-db-study
A repository to record my motes on the learning process and my labs of subtub.
zookeeper
Apache ZooKeeper
bustub
The BusTub Relational Database Management System (Educational)
MIT-6.824
Basic Sources for MIT 6.824 Distributed Systems Class
tinykv
A course to build distributed key-value service based on TiKV model
zab-v3.7-tla
Specifying and Verfying Zab in apache/zookeeper (with version 3.7.x) using TLA+
vldb-2021-labs
Labs on distributed transaction
zookeeper-build
该仓库区分于zookeeper,用于自我阅读zookeeper源码,真实PR的仓库依然是fork zookeeper的仓库。
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
raft-implement
This is the resource repository for the course Distributed System, Fall 2017, CS@NJU.
turing-machine
The experiment is the program assignment in Formal Languages and Automata taught by LeiBu. Any question, plz contact me anytime.
NJU-DisSys-2017
Distributed System, Fall 2017, CS@NJU
graphics-program
This is a simple printmaking software implemented on Graphics which is taught by ZhengxingSun and YanZhang.
ics-pa2017
This is the code for the 'Programming Assignment' for the course 'Introduction to Computer Systems' in Fall, 2017 and modified by Binyu Huang.
PaxosStore-tla
Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
tlaplus-lamport-projects
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
Parallel-Raft-tla
Specifying and Verfying concensus algorithms in PolarDB using TLA+
leetcode-implement
Keep exercising. https://leetcode-cn.com/u/nju_hby98/
dslabs
Distributed Systems Labs and Framework
riak
Riak is a decentralized datastore from Basho Technologies.
compiler-assignment
One junior course assignment in Compilation Principle which is guided by Professor Xinyu Dai.