VadimPlh / Arrival
How to use TLA+ / TLA+ specification of the ClickHouse replication protocol
☆17Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for Arrival
- Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF☆42Updated last year
- Teaching language LaMa for a compiler course☆70Updated this week
- A formal specification of snapshot isolation.☆18Updated 5 months ago
- lectures☆93Updated 8 years ago
- TLA+ Spec of a simplified part of MongoDB replication system☆46Updated 4 years ago
- ☆25Updated 5 months ago
- Network Block & File Store☆58Updated this week
- A list of technologies similar to inner Yandex technologies☆156Updated 4 months ago
- A TLA+ module for animating TLC traces.☆45Updated 4 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆101Updated 8 months ago
- lecture notes☆29Updated 3 years ago
- ☆10Updated 8 months ago
- Lectures in MIPT: intro to engineering software using model-checking.☆16Updated 3 years ago
- A tiny embedded Java-engine for extremely fast partitioned immutable-after-construction databases☆108Updated 2 years ago
- Jupyter kernel for TLA⁺☆118Updated 2 years ago
- Fast linearizability checker☆66Updated 9 years ago
- ☆24Updated 4 years ago
- Linearization checker for Java concurrent programs☆105Updated last year
- db-course-hse☆23Updated last year
- LaTeX styles for different purposes.☆101Updated last year
- Papers sources, pictures, presentations, and other stuff☆22Updated 6 months ago
- ☆39Updated 4 years ago
- Labs for Operating Systems course at HSE☆73Updated 3 years ago
- ☆38Updated 2 years ago
- ☆19Updated 3 years ago
- Useful links for HSE Computer's Architecture course☆23Updated 4 years ago
- «Функциональное программирование с зависимыми типами на языке Idris» — мини-курс на ФКН ВШЭ☆46Updated 6 years ago
- ☆26Updated this week
- Yatool is a cross-platform distribution, building, testing, and debugging toolkit focused on monorepositories☆150Updated this week
- Selection and partial sorting algorithms☆132Updated 3 months ago