Stars
A fast linearizability checker written in Go 🔎
Add custom struct tags to protobuf generated structs
Model Context Protocol Servers
Distributed SQL database in Rust, written as an educational project
CRAQ (Chain Replication with Apportioned Queries) in Go
Techniques and numbers for estimating system's performance from first-principles
Roadmap and Resource Compilation for System Design Fight Club
An educational dungeon crawler in the shell
a structural diff that understands syntax 🟥🟩
Logical Clocks for Eventually Consistent Systems
A collection of modern/faster/saner alternatives to common unix commands.
yq is a portable command-line YAML, JSON, XML, CSV, TOML, HCL and properties processor
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
Per-device scrolling prefs on macOS.
Golang package for gossip based membership and failure detection
Curated list of project-based tutorials
The Paxos library implemented in C++ that has been used in the WeChat production environment.
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
Cadence is a distributed, scalable, durable, and highly available orchestration engine to execute asynchronous long-running business logic in a scalable and resilient way.
A curated list to learn about distributed systems
TensorFlow CNN for fast style transfer ⚡🖥🎨🖼