odysseusailoon Goto Github PK

arend

The Arend Proof Assistant

camellia

camellia framework by netease-im. provider: 1) redis-client; 2) redis-proxy(redis-sentinel/redis-cluster); 3) hbase-client; 4) id-gen; 5) feign-client(enhance); 6) toolkits

competitive-programming

算法学习小组

demo

eachmerust

rust test

girldress

看到女装的项目的issue建议妹子建一个男装的项目，但是考虑到github的女性用户 数量貌似并不能达到女装的效果2333总之先建一个。

graduationdesign

My graduation design's code, implemented markov approximation in Rust to slove a job-dispatching and data-redistributing problem on edge cloud.

handy

简洁易用的C++11网络库 / 支持单机千万并发连接 / a simple C++11 network server framework

hystrix-go

Netflix's Hystrix latency and fault tolerance library, for Go

k8s-cni-test

this is a test for custom cni

key-algorithms

kubernetes-redis-cluster

Redis Cluster on Kubernetes

leetcode-master

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

leetcodeanimation

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

lintcode

Java Solutions to problems on LintCode/LeetCode

machinelearningzhzhou

Programs and answers to problem sets in Machine Learning Course taught by Prof. Zhi-Hua Zhou

mit-6.824-2017

MIT's 6.824: Distributed systems course (2017)

open-source-mac-os-apps

🚀 Awesome list of open source applications for macOS.

pingcapwork

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

redis-3.0-annotated

带有详细注释的 Redis 3.0 代码（annotated Redis 3.0 source code）。

rust_magazine_2021

RustMagazine 2021 期刊

sql_zoo

tensorflow-cases

tensorflow-cases--first-level

tensorflow-tutorial

Tensorflow tutorial from basic to hard

tflearn

Deep learning library featuring a higher-level API for TensorFlow.

twitter-insight-llm

Twitter data scraping and more.

vim-galore-zh_cn

Vim galore 中文翻译，构建 Vim 知识体系

webscraping

Use web scraping to solve practical problems I face.