suomela / da2020
Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
☆70Updated 3 months ago
Alternatives and similar repositories for da2020:
Users that are interested in da2020 are comparing it to the libraries listed below
- Adding a table of contents to Specifying Systems, TLA+.pdf☆65Updated 7 years ago
- Distributed systems lecture notes☆61Updated 4 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆44Updated 2 years ago
- A curated list of TLA+ resources.☆66Updated 5 years ago
- A demo of analyzing a TLA+ state graph☆29Updated last year
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 7 years ago
- TLA+ specifications for Kafka related algorithms☆64Updated last month
- Jupyter kernel for TLA⁺☆119Updated 2 years ago
- A curated list of TLA+ resources.☆137Updated 8 months ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆103Updated 11 months ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆62Updated last year
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago
- A tool to visualize distributed system logs☆77Updated 3 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 4 months ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆72Updated 2 years ago
- Learn TLA+ for free! No prior experience necessary!☆209Updated last month
- Time, Clocks, and the Ordering of Events☆40Updated 3 years ago
- Azure Cosmos TLA+ specifications☆21Updated last month
- TLA+ specifications for Raft and variants☆61Updated 2 years ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- ☆19Updated 6 months ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆132Updated 2 years ago
- Code repo for "An Empirical Evaluation of Columnar Storage Formats" VLDB Vol 17☆51Updated 9 months ago
- A Tensor Language☆57Updated 3 years ago
- TLA+ modules, specifications, and models for Radix trees.☆33Updated 3 years ago
- Reader feedback on the early release of Designing Data-Intensive Applications, second edition☆57Updated 6 months ago
- Programming Language for Continuous Deep Analytics☆45Updated last year
- B-tree generator for C☆124Updated 3 weeks ago