Starred repositories
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.
Jeff Dean's latency numbers plotted over time
润学全球官方指定GITHUB,整理润学宗旨、纲领、理论和各类润之实例;解决为什么润,润去哪里,怎么润三大问题; 并成为新中国人的核心宗教,核心信念。
为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers
Static checker for GitHub Actions workflow files
A model checker for implementing distributed systems.
A static web application to explore and animate a TLA+ state graph.
📚 Collaborative cheatsheets for console commands
APALACHE: symbolic model checker for TLA+ and Quint
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