抽卡游戏概率分析工具包 A simple and efficient computing package for analysis gacha in game

🥤 COLA: Clean Object-oriented & Layered Architecture

Data validation using Python type hints

LXGW WenKai for Screen Reading.

cloud-native distributed storage

Creates diagrams from textual descriptions!

Oxia - Metadata store and coordination system

A framework for distributed systems verification, with fault injection

A workbench for writing toy implementations of distributed systems.

The P programming language.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

The command-line client for the patchwork patch tracking tool

Ceph is a distributed object, block, and file storage platform

Tool which enables the creation of synthetic storage workloads, automates the execution and results collection of synthetic storage benchmarks.

📙《高并发的哲学原理》开源图书（CC BY-NC-ND）https://pphc.lvwenhan.com

Analysis, Comparison, Trends, Rankings of Open Source Software, you can also get insight from more than 7 billion with natural language (powered by OpenAI). Follow us on Twitter: https://twitter.co…

🦩 Tools for Go projects

extract slides from videos

Zotero translator中文网页抓取翻译器🎉This is Zotero translators for Chinese Sites(beta), not the official Zotero repo

Zoned block device manipulation library and tools

TODS: An Automated Time-series Outlier Detection System

A Python Library for Outlier and Anomaly Detection, Integrating Classical and Deep Learning Techniques

An open source alternative to Tableau. Embeddable visual analytic

A feature complete and high performance multi-group Raft library in Go.

DuckDB is an analytical in-process SQL database management system

Library for solving packages and reading repositories

A collective list of free APIs