Giters
theGloves

theGloves

Geek Repo

7

followers

29

following

83

stars

Home Page:https://thegloves.github.io/

Github PK Tool:Github PK Tool

theGloves's starred repositories

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.

Language:C++License:GPL-2.0Stargazers:27635Issues:0Issues:0

Mocket

TLA+ model checking guided testing for distributed systems

Language:JavaLicense:MITStargazers:13Issues:0Issues:0

kafka-tlaplus

TLA+ specifications for Kafka related algorithms

Language:TLALicense:MITStargazers:29Issues:0Issues:0

CxxZookeeper

C++ version of zookeeper

Language:C++License:Apache-2.0Stargazers:17Issues:0Issues:0

Dota2-Gameplay

Public Bug Tracker for Dota2

Stargazers:1429Issues:0Issues:0

muduo

Event-driven network library for multi-threaded Linux server in C++11

Language:C++License:NOASSERTIONStargazers:14407Issues:0Issues:0

hpc

Stargazers:20Issues:0Issues:0

epaxos

Language:GoLicense:NOASSERTIONStargazers:611Issues:0Issues:0

book

Stargazers:669Issues:0Issues:0

distributed-consensus-reading-list

A list of papers about distributed consensus.

Stargazers:2298Issues:0Issues:0

ffpaxos-tlaplus

TLA+ specification of Fast Flexible Paxos

Language:TLALicense:MITStargazers:17Issues:0Issues:0

heshijun_v_360

贺师俊与360的劳动争议诉讼

Stargazers:2457Issues:0Issues:0

bookkeeper-tlaplus

A TLA+ specification of the Apache BookKeeper replication protocol

Language:TLALicense:MITStargazers:101Issues:0Issues:0

tla-plus

Language:TLALicense:Apache-2.0Stargazers:288Issues:0Issues:0

brpc

brpc is an Industrial-grade RPC framework using C++ Language, which is often used in high performance system such as Search, Storage, Machine learning, Advertisement, Recommendation etc. "brpc" means "better RPC".

Language:C++License:Apache-2.0Stargazers:15986Issues:0Issues:0

braft

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

Language:C++License:Apache-2.0Stargazers:3819Issues:0Issues:0

phxqueue

A high-availability, high-throughput and highly reliable distributed queue based on the Paxos algorithm.

Language:C++License:NOASSERTIONStargazers:1892Issues:0Issues:0

logcabin

LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their core metadata and is helpful in solving cluster management issues.

Language:C++License:NOASSERTIONStargazers:1840Issues:0Issues:0

KnowStreaming

一站式云原生实时流数据平台，通过0侵入、插件化构建企业级Kafka服务，极大降低操作、存储和管理实时流数据门槛

Language:JavaLicense:AGPL-3.0Stargazers:6795Issues:0Issues:0

raft

Raft library for maintaining a replicated state machine

Language:GoLicense:Apache-2.0Stargazers:561Issues:0Issues:0

zookeeper-tla-spec

Language:TLAStargazers:9Issues:0Issues:0

TeachYourselfCS-CN

TeachYourselfCS 的中文翻译 | A Chinese translation of TeachYourselfCS

License:CC-BY-SA-4.0Stargazers:19461Issues:0Issues:0

pravega

Pravega - Streaming as a new software defined storage primitive

Language:JavaLicense:Apache-2.0Stargazers:1976Issues:0Issues:0

zookeeper

Apache ZooKeeper

Language:JavaLicense:Apache-2.0Stargazers:11992Issues:0Issues:0

flink

Apache Flink

Language:JavaLicense:Apache-2.0Stargazers:23362Issues:0Issues:0

redpanda

Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!

Language:C++Stargazers:9040Issues:0Issues:0

awesome-tlaplus

A curated list of TLA+ resources.

Stargazers:65Issues:0Issues:0

DrTLAPlus

Dr. TLA+ series - learn an algorithm and protocol, study a specification

Language:TLAStargazers:782Issues:0Issues:0

CommunityModules

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

Language:TLALicense:MITStargazers:262Issues:0Issues:0

raft-tlaplus

TLA+ specifications for Raft and variants

Language:TLALicense:MITStargazers:57Issues:0Issues:0