lintianshi Goto Github PK

carmine

Redis client and message queue for Clojure

clickhouse

ClickHouse® is a free analytics DBMS for big data

compilers-principles-01

编译原理实验01：词法分析和语法分析

crdt-redis

CRDTs implemented in Redis

distributedsystemlab

doris

Apache Doris is an easy-to-use, high performance and unified analytics database.

dslabs

Distributed Systems Labs and Framework

homework

java-2018f-homework

jepsen

A framework for distributed systems verification, with fault injection

jepsen-crdt-redis

Jepsen Tests for CRDT-Redis

kvproto

Protocol buffer files for TiKV

leetcode

LeetCode Solutions: A Record of My Problem Solving Journey.( leetcode题解，记录自己的leetcode解题之路。)

leetcode-master

LeetCode 刷题攻略：200道经典题目刷题顺序，共60w字的详细图解，视频难点剖析，50余张思维导图，支持C++，Java，Python，Go，JavaScript等多语言版本，从此算法学习不再迷茫！🔥🔥 来看看，你会发现相见恨晚！🚀

leveldb

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

paintingproject

图形学大作业

raft-rs

Raft distributed consensus algorithm implemented in Rust.

redis-crdt-experiment

Experiment on Redis CRDTs

research-proposal

rfcs

RFCs for changes to TiKV and its ecosystem

riak-crdt-experiment

Experiment on Riak CRDT

tikv

Distributed transactional key-value database, originally created to complement TiDB

turingmachine

visearch

ViSearch: Weak Consistency Measurement for Replicated Data Types

visearch-project

Checking visibility consistency on trace

visearch-src

Source Code of ViSearch Checking Framework