theGloves

kafka-spec

TLA+ specs about some Kafka behaviors

kafka

Mirror of Apache Kafka

bookkeeper

Apache BookKeeper - a scalable, fault tolerant and low latency storage service optimized for append-only workloads

azure-cosmos-tla

Azure Cosmos TLA+ specifications

apalache

APALACHE: symbolic model checker for TLA+ and Quint

Learning

raft.tla

TLA+ specification for the Raft consensus algorithm

dissertation

Sources for my PhD dissertation on the Raft consensus algorithm

Examples

A collection of TLA⁺ specifications of varying complexities

practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

tlaplus

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

leveldb

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

v2ray-step-by-step

This repo is a fork of ToutyRater/v2ray-guide, we aim to provide a new step-by-step guide of v2ray

v2ray-examples

v2ray-core 的模板们

v2ray-core

A platform for building proxies to bypass network restrictions.

v2fly-github-io

V2Fly Website & Documentation

500lines

500 Lines or Less

tank

《蓝眼云盘》(Eyeblue Cloud Storage)

dragonboat

A feature complete and high performance multi-group Raft library in Go.

awesome-consensus

Awesome list for Paxos and friends

raft

Golang implementation of the Raft consensus protocol

hexo

A fast, simple & powerful blog framework, powered by Node.js.

ScreenToGif

🎬 ScreenToGif allows you to record a selected area of your screen, edit and save it as a gif or video.