binyuhuang-nju Goto Github PK

amet

binyuhuang-nju

binyuhuang-nju.github.io

bustub

The BusTub Relational Database Management System (Educational)

cmu-db-study

A repository to record my motes on the learning process and my labs of subtub.

communitymodules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

compiler-assignment

One junior course assignment in Compilation Principle which is guided by Professor Xinyu Dai.

dslabs

Distributed Systems Labs and Framework

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.

java-2018f

Java 2018

leetcode-implement

Keep exercising. https://leetcode-cn.com/u/nju_hby98/

mit-6.824

Basic Sources for MIT 6.824 Distributed Systems Class

nju-dissys-2017

Distributed System, Fall 2017, CS@NJU

pa1-codesim

pa2-jmtrace

parallel-raft-tla

Specifying and Verfying concensus algorithms in PolarDB using TLA+

pasox_zab_protocol

分布式一致性协议 paxos/zab/raft 相关论文及中文译文

paxos-tla

paxosstore-tla

Specifying and Verifying the consensus algorithm in PaxosStore using TLA+

raft-implement

This is the resource repository for the course Distributed System, Fall 2017, CS@NJU.

raft-tla

raft.tla

TLA+ specification for the Raft consensus algorithm

riak

Riak is a decentralized datastore from Basho Technologies.

riak-java-client

The Riak client for Java.

taste-of-riak

Source code for all the taste of riak examples

tinykv

A course to build distributed key-value service based on TiKV model

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).

tpcc-mysql