theGloves

6.824-golabs-2020

MIT 6.824 2020

ascii-camera

Real-time ASCII representation of your webcam video stream

braft

An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.

CommunityModules

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

ContractTool

本科毕设，智能合约建模工具

CppCoreGuidelines

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

deployment

tendermint所需要生成的环境

gamecenter

（研究生）高级操作系统实验三

interactive_latencies

Jeff Dean's latency numbers plotted over time

kafka

Mirror of Apache Kafka

theGloves.github.io

kafka-specification

TLA+ specification of the Kafka replication protocol

kafka_note

kkndme_tianya

天涯 kkndme 神贴聊房价

kubernetes

Production-Grade Container Scheduling and Management

RUCdeployment

shadowsocks

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

util_dbvc

database version control

wrap_callgraph

golang static callgrap, python wrapper of golang/tools/cmd/callgraph

xv6-public

xv6 OS

zookeeper

Apache ZooKeeper