suomela / da2020Links
Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
☆76Updated last month
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☆68Updated 2 months ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 8 years ago
- Learn TLA+ for free! No prior experience necessary!☆234Updated 3 weeks ago
- Related resources for "Database Performance at Scale: A Practical Guide (Apress, 2023)," by Felipe Cardeneti Mendes, Piotr Sarna, Pavel E…☆124Updated 6 months ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆67Updated 8 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆68Updated 2 years ago
- Assets for the book "Logic for Programmers"☆24Updated 3 months ago
- Probabilistic Data Structures and Algorithms in Python☆131Updated 5 years ago
- Tensor library & inference framework for machine learning☆118Updated 3 months ago
- C11 implementation of the 1 Billion Rows Challenge. 1️⃣🐝🏎️ Runs in ~1.6 seconds on my not-so-fast laptop CPU w/ 16GB RAM.☆107Updated last year
- The Engineer's Guide to Deep-Learning☆36Updated 11 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.☆46Updated 3 years ago
- ☆20Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- CS341 for Spring 2024☆11Updated last year
- A curated list of TLA+ resources.☆161Updated last year
- A curated list of TLA+ resources.☆66Updated 6 years ago
- Small numerical simulator example☆55Updated 2 years ago
- Prototype Mixed-consistency transaction implementation☆64Updated 7 years ago
- Implementing 20+ binary search trees to compare balancing strategies☆47Updated 4 months ago
- Code and materials for my book "Pragmatic Type Level Design"☆147Updated 9 months ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆181Updated last month
- AppEngine hosted chat server. Example for the distributed systems class at www.distributedsystemscourse.com☆155Updated 5 years ago
- Exercises and projects for Jane Street's OCaml Workshop☆10Updated 2 years ago
- ☆14Updated 2 years ago
- Meta-GPU lesson covering general aspects of GPU programming as well as specific frameworks☆98Updated last month
- A tool to visualize distributed system logs☆85Updated 4 years ago
- SQLwrite: AI in your DBMS! Automatically converts natural language queries to SQL.☆123Updated 3 weeks ago
- A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.☆167Updated 10 months ago