suomela / da2020Links
Juho Hirvonen and Jukka Suomela: Distributed Algorithms 2020
☆76Updated 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☆65Updated 3 weeks 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!☆231Updated 8 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 last year
- A curated list of TLA+ resources.☆160Updated last year
- ☆20Updated last year
- A tool to visualize distributed system logs☆85Updated 3 years ago
- Small numerical simulator example☆55Updated 2 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A curated list of TLA+ resources.☆66Updated 6 years ago
- Links, slide decks and other material for conference & meetup talks, podcast appearances and publications.☆226Updated last month
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆164Updated this week
- Examples of common systems programming optimizations☆53Updated 4 years ago
- A bibliography for protocol design☆45Updated 7 months ago
- Prototype Mixed-consistency transaction implementation☆64Updated 7 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- Implementing 20+ binary search trees to compare balancing strategies☆47Updated 3 months ago
- Tensor library & inference framework for machine learning☆113Updated last month
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆163Updated last year
- A static web application to explore and animate a TLA+ state graph.☆197Updated 2 years ago
- The basics of low-level concurrency in a sub-30 minute read☆242Updated 4 years ago
- Assets for the book "Logic for Programmers"☆24Updated last month
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- CS341 for Spring 2024☆11Updated last year
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆263Updated this week
- Exercises and projects for Jane Street's OCaml Workshop☆10Updated 2 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆80Updated 2 years ago
- Support for for students (Python)☆69Updated 2 weeks ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆46Updated 3 years ago