suomela / da2020Links
Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
☆76Updated 2 months ago
Alternatives and similar repositories for da2020
Users that are interested in da2020 are comparing it to the libraries listed below
Sorting:
- Distributed systems lecture notes☆69Updated 3 months ago
- Learn TLA+ for free! No prior experience necessary!☆237Updated 2 months ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆68Updated 8 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 8 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆69Updated 2 years ago
- Related resources for "Database Performance at Scale: A Practical Guide (Apress, 2023)," by Felipe Cardeneti Mendes, Piotr Sarna, Pavel E…☆123Updated 7 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆46Updated 3 years ago
- A tool to visualize distributed system logs☆86Updated 4 years ago
- Meta-GPU lesson covering general aspects of GPU programming as well as specific frameworks☆98Updated 3 weeks ago
- A curated list of TLA+ resources.☆164Updated last week
- A TLA+ specification of the Apache BookKeeper replication protocol☆105Updated last year
- A curated list of TLA+ resources.☆66Updated 6 years ago
- SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.☆125Updated 2 weeks ago
- A little KV store implementation in OCaml to practice DB systems things☆33Updated 3 weeks ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆187Updated 3 weeks ago
- Source Code for 'Practical TLA+' by Hillel Wayne☆296Updated 3 years ago
- Small numerical simulator example☆55Updated 2 years ago
- TLA+ specifications for Kafka related algorithms☆86Updated last year
- Algorithm examples in PlusCal, the algorithm language of Lamport's TLA+☆62Updated 10 years ago
- Tensor library & inference framework for machine learning☆117Updated 4 months ago
- Probabilistic Data Structures and Algorithms in Python☆130Updated 5 years ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆108Updated 2 years ago
- Assets for the book "Logic for Programmers"☆25Updated last week
- ☆20Updated last year
- RotoHash: Hashing for High-Bandwidth Data☆21Updated 10 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆10Updated 2 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆75Updated 3 years ago
- Materials for book: "Markov Chains for programmers"☆282Updated 3 years ago