Lists (1)
Stars
Spec-driven development (SDD) for AI coding assistants.
💫 Toolkit to help you get started with Spec-Driven Development
Persistent file-based planning for AI coding agents and long-running agentic tasks. Crash-proof markdown plans that survive context loss and /clear, plus a deterministic completion gate and multi-a…
A self-hosted data logger for your Tesla 🚘 [main maintainer=@JakobLichterfeld]
Programmer's guide about how to cook at home.
Examples and guides for using the OpenAI API
Use your AsyncAPI definition to generate literally anything. Markdown documentation, Node.js code, HTML documentation, anything!
EventMesh is a new generation serverless event middleware for building distributed event-driven applications.
Event-driven application platform for Kubernetes
A framework for distributed systems verification, with fault injection
LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their cor…
Open source Java implementation for Raft consensus protocol.
A production-grade java implementation of RAFT consensus algorithm.
《Designing Data-Intensive Application》DDIA 第一版 / 第二版 中文翻译
Chaos Framework proposes a unified API for vendors to provide solutions to various aspects of performing the principles of chaos engineering in cloud-native environment.
润学全球官方指定GITHUB，整理润学宗旨、纲领、理论和各类润之实例；解决为什么润，润去哪里，怎么润三大问题； 并成为新中国人的核心宗教，核心信念。
😉 Pretty nice Zookeeper GUI, Support Win / Mac / Linux Platform
Alibaba Java Diagnostic Tool Arthas/Alibaba Java诊断利器Arthas
A collection of TLA⁺ specifications of varying complexities.
A TLA+ specification of the Apache BookKeeper replication protocol
TGIP-CN (Thank God Its Pulsar) is a weekly live video streaming about Apache Pulsar in Chinese.
Cruise-control is the first of its kind to fully automate the dynamic workload rebalance and self-healing of a Kafka cluster. It provides great value to Kafka users by simplifying the operation of …