tlaplus / Drtlaplus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Stars: ✭ 561
Projects that are alternatives of or similar to Drtlaplus
Examples
A collection of TLA+ specifications of varying complexities
Stars: ✭ 720 (+28.34%)
Mutual labels: algorithm, protocol
Merkletreejs
🌱 Construct Merkle Trees and verify proofs in JavaScript.
Stars: ✭ 238 (-57.58%)
Mutual labels: algorithm, protocol
Laminar
A simple semi-reliable UDP protocol for multiplayer games
Stars: ✭ 530 (-5.53%)
Mutual labels: protocol
Crypto Trader
💰 Cryptocurrency trading bot library with a simple example strategy (trading via Gemini).
Stars: ✭ 554 (-1.25%)
Mutual labels: algorithm
Qiskit Aqua
Quantum Algorithms & Applications in Python
Stars: ✭ 514 (-8.38%)
Mutual labels: algorithm
Algorithms And Data Structures In Ruby
Ruby implementation of Algorithms,Data-structures and programming challenges
Stars: ✭ 489 (-12.83%)
Mutual labels: algorithm
Interactive Coding Challenges
120+ interactive Python coding interview challenges (algorithms and data structures). Includes Anki flashcards.
Stars: ✭ 24,317 (+4234.58%)
Mutual labels: algorithm
Quiche
🥧 Savoury implementation of the QUIC transport protocol and HTTP/3
Stars: ✭ 5,481 (+877.01%)
Mutual labels: protocol
Solid
🎯 A comprehensive gradient-free optimization framework written in Python
Stars: ✭ 546 (-2.67%)
Mutual labels: algorithm
Datastructureandalgorithms
Write code that run faster, use less memory and prepare for your Job Interview
Stars: ✭ 509 (-9.27%)
Mutual labels: algorithm
Algorithms And Data Structures In Java
Algorithms and Data Structures in Java
Stars: ✭ 498 (-11.23%)
Mutual labels: algorithm
Lean
Lean Algorithmic Trading Engine by QuantConnect (Python, C#)
Stars: ✭ 5,675 (+911.59%)
Mutual labels: algorithm
Dr. TLA+ Series - learn an algorithm and protocol, study a specification
Lecture schedule (Time: 10-11:30am PDT)
| Date | Speaker | Topic | Media | |
|---|---|---|---|---|
| 06.22.2016 | Andrew Helwer | Paxos | video, slides | |
| 07.21.2016 | Jin Li | Raft | video, slides | |
| 08.29.2016 | Cheng Huang | Fast Paxos | video, slides | |
| 09.23.2016 | Rustan Leino | Global Snapshots | video, slides | |
| 11.09.2016 | Heidi Howard | Flexible Paxos | video, slides | |
| 01.20.2017 | Shuai Mu | Byzantine Paxos | video, slides | |
| 03.01.2018 | Ed Huang | Verifying Distributed Transaction with TLA+ in TiDB | ||
| 11.01.2018 | Murat Demirbas | Consistency guarantees provided by Cosmos DB | video, slides | |
| 11.15.2019 | Saksham Chand | Specification and Verification of Multi-Paxos | video, slides | |
| ⇒ | 02.XX.2021 | Stephan Merz & Markus Kuppe | Termination Detection (EWD840 & EWD998) |
Each session will focus on a single algorithm/protocol and:
- dive deep into how the algorithm and protocol works;
- illustrate in detail how the TLA+ specification is written;
- share the learnings from writing and studying the specification.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].