suomela / da2020
Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
☆57Updated 4 months ago
Related projects: ⓘ
- Distributed systems lecture notes☆56Updated last year
- Adding a table of contents to Specifying Systems, TLA+.pdf☆63Updated 6 years ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆23Updated 6 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆61Updated 9 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆43Updated 2 years ago
- The TLA Proof Manager☆62Updated this week
- A tool to visualize distributed system logs☆73Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 3 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 3 years ago
- ☆11Updated last month
- A curated list of TLA+ resources.☆65Updated 5 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆71Updated last year
- Probabilistic Data Structures and Algorithms in Python☆119Updated 4 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆129Updated last year
- ☆62Updated 3 months ago
- High level overview of Rust☆18Updated 2 years ago
- Exploring the design space of binary search trees☆42Updated 2 months ago
- A curated list of TLA+ resources.☆128Updated 2 months ago
- Lecture notes on Distributed Computing that are publicly accessible.☆54Updated 3 years ago
- Yale Fall 2022 CPSC 490 senior project advised by Prof. Daniel A. Spielman.☆28Updated last year
- Jupyter kernel for TLA⁺☆118Updated 2 years ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆57Updated 9 years ago
- TLA+ Foundation☆23Updated 2 months ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated 10 months ago
- Different TLA+ specifications, mostly for learning purposes☆31Updated 4 months ago
- Learn TLA+ for free! No prior experience necessary!☆195Updated 3 weeks ago
- ☆15Updated 3 weeks ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆99Updated 6 months ago
- egg is a flexible, high-performance e-graph library☆9Updated 5 months ago