kisisjrlly

kisisjrlly

Geek Repo

Github PK Tool:Github PK Tool

kisisjrlly's starred repositories

Note-by-LaTeX

《简单粗暴 LaTeX》出版图书开源仓库 | The opensource repo for my published LaTeX book.

Language:TeXStargazers:1565Issues:0Issues:0

TensorFlow-cn

简单粗暴 TensorFlow (1.X) | A Concise Handbook of TensorFlow (1.X) | 此版本不再更新,新版见 https://tf.wiki

Language:PythonStargazers:852Issues:0Issues:0

talent-plan

open source training courses about distributed database and distributed systems

Language:RustStargazers:10140Issues:0Issues:0

shortest-path

Finding shortest paths with Graph Networks

Language:PythonLicense:UnlicenseStargazers:106Issues:0Issues:0

pruned-landmark-labeling

Fast and exact shortest-path distance querying index

Language:CStargazers:86Issues:0Issues:0

GraphEmbedding

Implementation and experiments of graph embedding algorithms.

Language:PythonLicense:MITStargazers:3695Issues:0Issues:0

simple_pbft

Sample implementation of PBFT consensus algorithm

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

DrTLAPlus

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

Language:TLAStargazers:813Issues:0Issues:0

cos518_project

COS 518 Project - XPaxos Reimplementation

Language:GoStargazers:4Issues:0Issues:0

Examples

A collection of TLA⁺ specifications of varying complexities

Language:TLALicense:NOASSERTIONStargazers:1280Issues:0Issues:0

XRAFT

Develop a consensus algorithm under the XFT model with RAFT's strong leader character.

Language:GoStargazers:1Issues:0Issues:0

practical-tla-plus

Source Code for 'Practical TLA+' by Hillel Wayne

Language:TLALicense:NOASSERTIONStargazers:288Issues:0Issues:0
Language:TLAStargazers:17Issues:0Issues:0

terminal

The new Windows Terminal and the original Windows console host, all in the same place!

Language:C++License:MITStargazers:95369Issues:0Issues:0

LeetCodeAnimation

Demonstrate all the questions on LeetCode in the form of animation.(用动画的形式呈现解LeetCode题目的思路)

Language:JavaStargazers:75427Issues:0Issues:0

tech

programming, database, distributed system

Stargazers:3397Issues:0Issues:0

rDSN

Robust Distributed System Nucleus (rDSN) is an open framework for quickly building and managing high performance and robust distributed systems.

Language:C++License:MITStargazers:969Issues: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:1875Issues:0Issues:0

etcd-3.1.10-codedump

加入个人阅读代码注释的etcd raft实现

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

996.ICU

Repo for counting stars and contributing. Press F to pay respect to glorious developers.

License:NOASSERTIONStargazers:269822Issues:0Issues:0

RAMCloud

**No Longer Maintained** Official RAMCloud repo

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

MIT-6.824

Basic Sources for MIT 6.824 Distributed Systems Class

Language:GoLicense:MITStargazers:3148Issues:0Issues:0

raft.github.io

website at https://raft.github.io

Language:HTMLStargazers:1370Issues:0Issues:0

phxpaxos

The Paxos library implemented in C++ that has been used in the WeChat production environment.

Language:C++License:NOASSERTIONStargazers:3353Issues:0Issues:0
Stargazers:374Issues:0Issues:0

Qix

Machine Learning、Deep Learning、PostgreSQL、Distributed System、Node.Js、Golang

License:NOASSERTIONStargazers:14714Issues:0Issues:0

index-baselines

Simple baselines for "Learned Indexes"

Language:HTMLLicense:MITStargazers:158Issues:0Issues:0

learned_indices

A C++11 implementation of the B-Tree part of "The Case for Learned Index Structures"

Language:C++License:MITStargazers:80Issues:0Issues:0

ailearning

AiLearning:数据分析+机器学习实战+线性代数+PyTorch+NLTK+TF2

Language:PythonLicense:NOASSERTIONStargazers:39346Issues:0Issues:0
Language:C++License:NOASSERTIONStargazers:115Issues:0Issues:0