zmxnv1

followers

following

stars

Beijing,China

nzooherd's starred repositories

PaxosStore-tla

Specifying and Verifying the consensus algorithm in PaxosStore using TLA+

Language:TLAMIT2100

Examples

A collection of TLA⁺ specifications of varying complexities

Language:TLANOASSERTION128400

simple-failover-java

A simple failover library for Java

Language:JavaArtistic-2.015200

etcd

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

Language:GoApache-2.04769600

one-python-craftsman

来自一位 Pythonista 的编程经验分享，内容涵盖编码技巧、最佳实践与思维模式等方面。

Apache-2.0685300

bitcoinbook

Mastering Bitcoin 3rd Edition - Programming the Open Blockchain

Language:HTMLNOASSERTION2352000

pyminer

Python miner for bitcoin

Language:PythonMIT83800

awesome-seo

Google SEO Research and Web Traffic Monetization

MIT229600

one-person-businesses-methodology

一人公司方法论

awesome-solidity

⟠ A curated list of awesome Solidity resources, libraries, tools and more

pom-explorer

A tool to aid managing lots of maven projects

Language:JavaScriptMIT37100

awesome-blockchain-cn

收集所有区块链(BlockChain)技术开发相关资料，包括Fabric和Ethereum开发资料

Language:JavaScriptApache-2.01844300

kademlia

A DHT in Python using asyncio

Language:PythonMIT82800

v2-core

🦄 🦄 Core smart contracts of Uniswap V2

Language:TypeScriptGPL-3.0297000

simple-bitcoin

Understanding the mechanics of Bitcoin using Python

Language:Python10200

You-Dont-Know-JS

A book series on JavaScript. @YDKJS on twitter.

NOASSERTION17957400

tornado

Tornado is a Python web framework and asynchronous networking library, originally developed at FriendFeed.

Language:PythonApache-2.02172200

create-eth-app

Create Ethereum-powered apps with one command

Language:JavaScriptMIT274600

brownie

A Python-based development and testing framework for smart contracts targeting the Ethereum Virtual Machine.

Language:PythonMIT264200

blockchain

区块链 - 中文资源

MIT701800

guava

Google core libraries for Java

Language:JavaApache-2.05015700

wolf

狼人杀 - 线下面杀电子法官 / 服务端语音播报 / 浏览器操作 / 移动端友好

Language:PythonGPL-3.04400

awesome-referral

国内外公司在职员工的靠谱内推

MIT13500

scylla

Intelligent proxy pool for Humans™ to extract content from the internet and build your own Large Language Models in this new AI era

Language:PythonApache-2.0396300

proxy_pool

Python ProxyPool for web spider

Language:PythonMIT2149800

xbar-plugins

Plugin repository for xbar (the BitBar reboot)

Language:Shell245200

fks

前端技能汇总 Frontend Knowledge Structure

Language:JavaScript1793000

coder2gwy

互联网首份程序员考公指南，由3位已经进入体制内的前大厂程序员联合献上。

qlib

Qlib is an AI-oriented quantitative investment platform that aims to realize the potential, empower research, and create value using AI technologies in quantitative investment, from exploring ideas to implementing productions. Qlib supports diverse machine learning modeling paradigms. including supervised learning, market dynamics modeling, and RL.

Language:PythonMIT1541700

Ripes

A graphical processor simulator and assembly editor for the RISC-V ISA

Language:C++MIT257300