1475505

1475505's Stars

• HDT3213/godis

  A Golang implemented Redis Server and Cluster. Go 语言实现的 Redis 服务器和分布式集群

  Language:Go3.5k571

• divfor/atomic_hash

  A lock-free hash table that eanble multiple threads can concurrently read/write/delete up to 10M ops/s in mordern computer platform

  Language:C488

• donnemartin/interactive-coding-challenges

  120+ interactive Python coding interview challenges (algorithms and data structures). Includes Anki flashcards.

  Language:Python29.6k4.5k

• rbmonster/learning-note

  Java开发及面试（个人面试、工作总结、资料收集站）

  Language:Java3.4k653

• huaxz1986/deep_learning_notes

  deeplearningbook学习笔记，来自于 http://www.deeplearningbook.org

  270100

• PKM-er/Blue-topaz-example

  Blue topaz themes example vault for Obsidian

  Language:HTML2.2k231

• SharingSource/LogicStack-LeetCode

  公众号「宫水三叶的刷题日记」刷穿 LeetCode 系列文章源码

  7.3k955

• hashicorp/raft

  Golang implementation of the Raft consensus protocol

  Language:Go8.3k997

• PKM-er/Blue-Topaz_Obsidian-css

  A blue theme for Obsidian.

  Language:CSS1.2k94

• etcd-io/etcd

  Distributed reliable key-value store for the most critical data of a distributed system

  Language:Go48k9.8k

• tangwz/db-monthly

  阿里云数据库内核月报分类整理（定时更新） http://mysql.taobao.org/monthly/

  1k103

• maemual/raft-zh_cn

  Raft一致性算法论文的中文翻译

  6.1k1.7k

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k656

• RicoloveFeng/SPA-Freestyle-Guidance

  带你畅游《软件分析》

  27517

• pascal-lab/Tai-e-assignments

  Tai-e assignments for static program analysis

  Language:Java1.1k250

• CodingDocs/awesome-idea

  IntelliJ IDEA 使用指南 | 必备插件推荐 | 插件开发入门 | 重构小技巧 | 源码阅读技巧。

  40165

• listen1/listen1_chrome_extension

  one for all free music in china (chrome extension, also works for firefox)

  Language:JavaScript11.5k2k

• listen1/listen1

  one for all free music in china (origin edition)

  Language:Python4.7k493

• pascal-lab/Tai-e

  An easy-to-learn/use static analysis framework for Java

  Language:Java1.5k177

• skywind3000/awesome-cheatsheets

  超级速查表 - 编程语言、框架和开发工具的速查表，单个文件包含一切你需要知道的东西 :zap:

  Language:Shell11.7k2.1k

• steveLauwh/SGI-STL

  剖析 STL 是一种享受的过程！

  Language:C++2.4k753

• httaotao/glusterfs-book

  作为国内第一本glusterfs的书籍，方便大家学习了解

  55190

• xiaoming2028/FreePAC

  科学上网/翻墙梯子/自由上网/SS/SSR/V2Ray/Brook 搭建教程 免费机场、VPN工具、极光、魔法上网

  7.4k1.2k

• xiaohei-info/MapReduce

  MapReduce Demo

  Language:Java396169

• sogou/workflow

  C++ Parallel Computing and Asynchronous Networking Framework

  Language:C++13.2k2.4k

• brupst/awsome-bupt-rust

  A curated list of Rust code and resources made from BUPT.

  764

• teamcapybara/capybara

  Acceptance test framework for web applications

  Language:Ruby10k1.5k

• ralfbiedert/cheats.rs

  Rust Language Cheat Sheet - https://cheats.rs

  Language:Rust4.2k397

• Sean10/markless

  temporarily sean10's custom made version from tejasvi/markless. A vscode markdown WYSIWYG extension called Markless_sean10

  Language:JavaScript467

• wireshark/wireshark

  Read-only mirror of Wireshark's Git repository at https://gitlab.com/wireshark/wireshark. ⚠️ GitHub won't let us disable pull requests. ⚠️ THEY WILL BE IGNORED HERE ⚠️ Upload them at GitLab instead.

  Language:C7.3k1.9k