suomela / da2020Links
Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
☆73Updated last week
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☆64Updated 10 months ago
- Learn TLA+ for free! No prior experience necessary!☆223Updated 6 months ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 7 years ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 7 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆68Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Probabilistic Data Structures and Algorithms in Python☆130Updated 5 years ago
- Small numerical simulator example☆55Updated last year
- A tool to visualize distributed system logs☆82Updated 3 years ago
- ☆20Updated last year
- A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.☆166Updated 7 months ago
- The Engineer's Guide to Deep-Learning☆37Updated 8 months ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆140Updated this week
- AppEngine hosted chat server. Example for the distributed systems class at www.distributedsystemscourse.com☆151Updated 4 years ago
- Assets for the book "Logic for Programmers"☆22Updated last month
- SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.☆122Updated 10 months ago
- Tensor library & inference framework for machine learning☆110Updated 3 weeks ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆45Updated 3 years ago
- A curated list of TLA+ resources.☆66Updated 6 years ago
- A curated list of TLA+ resources.☆157Updated 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 TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Prototype Mixed-consistency transaction implementation☆63Updated 7 years ago
- Meta-GPU lesson covering general aspects of GPU programming as well as specific frameworks☆89Updated 2 weeks ago
- Implementing 20+ binary search trees to compare balancing strategies☆47Updated last month
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆74Updated 2 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆162Updated last year
- A bibliography for protocol design☆41Updated 5 months ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- ☆21Updated last year