Skip to content
View BinyuHuang-nju's full-sized avatar
19 followers · 30 following
  • Nanjing University
  • Nanjing, China

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report BinyuHuang-nju

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
BinyuHuang-nju/README.md

Hi there 👋

  • 🔭 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(huangbinyu000@outlook.com)

Pinned Loading

  1. zab-tla zab-tla Public

    Specifying and Verfying Zab using TLA+

    TLA 9 1

  2. MIT-6.824 MIT-6.824 Public

    Forked from chaozh/MIT-6.824

    Basic Sources for MIT 6.824 Distributed Systems Class

    Go

  3. zab-v3.7-tla zab-v3.7-tla Public

    Specifying and Verfying Zab in apache/zookeeper (with version 3.7.x) using TLA+

    TLA

  4. cmu-db-study cmu-db-study Public

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

  5. compiler-assignment compiler-assignment Public

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

    C

  6. turing-machine turing-machine Public

    The experiment is the program assignment in Formal Languages and Automata taught by LeiBu. Any question, plz contact me anytime.

    C++