suomela / da2020
Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
☆68Updated this week
Related projects ⓘ
Alternatives and complementary repositories for da2020
- Distributed systems lecture notes☆57Updated 3 weeks ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆23Updated 7 years ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆63Updated 7 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆62Updated 11 months ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆43Updated 2 years ago
- Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17☆46Updated 6 months ago
- Small numerical simulator example☆46Updated last year
- ☆11Updated last month
- Probabilistic Data Structures and Algorithms in Python☆121Updated 4 years ago
- ☆16Updated 2 months ago
- A curated list of TLA+ resources.☆132Updated 4 months ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 3 years ago
- A curated list of TLA+ resources.☆66Updated 5 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 3 weeks ago
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆59Updated 9 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆72Updated last year
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- A tool to visualize distributed system logs☆75Updated 2 years ago
- TLA+ specifications for Raft and variants☆59Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆129Updated 2 years ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- A probabilistic approximate DNF counter☆36Updated 7 months ago
- TLA+ Foundation☆23Updated this week
- ☆20Updated 11 months ago
- Support for for students (Python)☆57Updated this week
- B-tree generator for C☆104Updated this week
- TLA+ specifications for Kafka related algorithms☆52Updated last month
- A TLA+ specification of the Apache BookKeeper replication protocol☆101Updated 8 months ago
- Source code for "Database Performance at Scale: A Practical Guide (Apress, 2023)," by Felipe Cardeneti Mendes, Piotr Sarna, Pavel Emelyan…☆113Updated 8 months ago