Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Sim provides a discrete event simulation engine, to facilitate Rust- and npm-based simulation products and projects

🏂🏻 程序员海外工作/英文面试手册

A terrible application setting SV2 Efficiency Mode for inactive Windows apps and user background apps

A list of papers about distributed consensus.

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

VS Code extension that allows you to record and play back guided tours of codebases, directly within the editor.

The P programming language.

Jeff Dean's latency numbers plotted over time

润学全球官方指定GITHUB，整理润学宗旨、纲领、理论和各类润之实例；解决为什么润，润去哪里，怎么润三大问题； 并成为新中国人的核心宗教，核心信念。

为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers

Generate random test cases for databases

Static checker for GitHub Actions workflow files

A list of established remote companies

A minimal implementation of tikv/pd in Rust.

YCSB in Rust (WIP)

A simple sql server code by rust

A model checker for implementing distributed systems.

A static web application to explore and animate a TLA+ state graph.

Collaborative cheatsheets for console commands 📚.

Run your GitHub Actions locally 🚀

APALACHE: symbolic model checker for TLA+ and Quint

Model-based testing tool

A tool for parsing and generating keys for different levels in TiDB/TiKV.

A script for running TLA+/TLC from the command line

Attribute macro to require that the compiler prove a function can't ever panic

Jepsen and Elle based Consistency Checking Interface