tlaplus/Examples

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

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

The P programming language.

🧭 Architecture-first system design: 26 bilingual tutorials, 25 architecture templates, and 6 end-to-end cases covering distributed systems, AI-native systems, RAG, coding Agents, and production trade-offs.

💠Collection of algorithms and data structures

All Algorithms implemented in Java

A collection of algorithms and data structures

All Algorithms implemented in Rust

A curated list of awesome System Design (A.K.A. Distributed Systems) resources.