suomela / da2020Links
Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
☆71Updated 8 months ago
Alternatives and similar repositories for da2020
Users that are interested in da2020 are comparing it to the libraries listed below
Sorting:
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 7 years ago
- Distributed systems lecture notes☆64Updated 10 months ago
- Learn TLA+ for free! No prior experience necessary!☆221Updated 5 months ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 3 years ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 7 years ago
- Related resources for "Database Performance at Scale: A Practical Guide (Apress, 2023)," by Felipe Cardeneti Mendes, Piotr Sarna, Pavel E…☆122Updated last month
- Meta-GPU lesson covering general aspects of GPU programming as well as specific frameworks☆89Updated 4 months ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆136Updated 2 years ago
- A curated list of TLA+ resources.☆66Updated 6 years ago
- Small numerical simulator example☆55Updated last year
- A curated list of TLA+ resources.☆153Updated last year
- C11 implementation of the 1 Billion Rows Challenge. 1️⃣🐝🏎️ Runs in ~1.6 seconds on my not-so-fast laptop CPU w/ 16GB RAM.☆101Updated last year
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆73Updated 2 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Updated 4 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆10Updated last year
- SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.☆122Updated 10 months ago
- TLA+ specifications for Kafka related algorithms☆72Updated 7 months ago
- Implementing 20+ binary search trees to compare balancing strategies☆48Updated 2 weeks ago
- A tool to visualize distributed system logs☆82Updated 3 years ago
- Assets for the book "Logic for Programmers"☆21Updated 3 weeks ago
- Distributed Systems Consistency Reading Group☆42Updated 4 years ago
- A bibliography for protocol design☆40Updated 4 months ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆137Updated last week
- Support for for students (Python)☆65Updated 3 months ago
- a categorical deep learning compiler☆203Updated 6 months ago
- ☆20Updated last year
- Matrix multiplication schemes☆197Updated 3 months ago
- A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.☆166Updated 6 months ago