An Open Source Machine Learning Framework for Everyone

ClickHouse® is a real-time analytics database management system

The MongoDB Database

Cloud-native high-performance edge/middle/service proxy

Solidity, the Smart Contract Programming Language

brpc is an Industrial-grade RPC framework using C++ Language, which is often used in high performance system such as Search, Storage, Machine learning, Advertisement, Recommendation etc. "brpc" mea…

❤️中国科学技术大学课程资源

WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices,…

The Fastest Distributed Database for Transactional, Analytical, and AI Workloads.

Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

The JavaScript / Wasm runtime that powers Cloudflare Workers

An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.

从零开始研究外挂设计原理 Study the principles of cheat design from scratch

Pipy is a programmable proxy for the cloud, edge and IoT.

Official mirror for interface definitions and helper classes for Java code running on the AWS Lambda platform.

1张图论证Paxos，比数学论证好理解的多，让你秒懂Paxos。 本项目从理论与代码上双重论证Paxos。 我相信本项目会是你在网上所能找到的，最通俗，最简洁，最完整（表现在不仅有理论，而且有实现代码和测试代码）的Paxos讲解与论证资料。 提供c++ java版本paxos算法封装代码，以及正确性压测程序。