Alternatives and similar repositories for Arrival:

Users that are interested in Arrival are comparing it to the libraries listed below

• inyutin / CASPaxos
  My implementation of CASPaxos
  ☆11Updated 5 years ago
• will62794 / snapshot-isolation-spec
  A formal specification of snapshot isolation.
  ☆18Updated last month
• visualzhou / mongo-repl-tla
  TLA+ Spec of a simplified part of MongoDB replication system
  ☆46Updated 5 years ago
• lemmy / ewd998
  Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
  ☆42Updated last year
• kostja / lectures
  lectures
  ☆94Updated 8 years ago
• afiskon / dbmsdev-final
  Course "Database Management Systems: Technologies and Development", PDF slides
  ☆17Updated 6 years ago
• ydb-platform / nbs
  Network Block & File Store
  ☆61Updated this week
• will62794 / tla-web
  Interactive, web-based environment for exploring and visualizing TLA+ specifications.
  ☆91Updated this week
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆119Updated 2 years ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆103Updated 10 months ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆66Updated 9 years ago
• delamonpansie / octopus
  Octopus project
  ☆24Updated 3 years ago
• mbuzdalov / latex-styles
  LaTeX styles for different purposes.
  ☆101Updated last year
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆48Updated 2 years ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆45Updated last month
• kirillsulim / xy2xy
  A list of technologies similar to inner Yandex technologies
  ☆157Updated 6 months ago
• alexeyr / miet-haskell-course
  ☆25Updated 7 months ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆61Updated 3 weeks ago
• vasil-sd / engineering-sw-hw-model-checking-letures
  Lectures in MIPT: intro to engineering software using model-checking.
  ☆17Updated 3 years ago
• sancho20021 / linal
  lecture notes
  ☆29Updated 3 years ago
• ten-nancy / porto
  Porto is a yet another Linux container management system.
  ☆29Updated this week
• kostja / tarantool
  Get your data in RAM. Get compute close to data. Enjoy the performance.
  ☆76Updated last year
• PLTools / Lama
  Teaching language LaMa for a compiler course
  ☆71Updated 2 months ago
• proton / highloadcup17_solutions
  highloadcup.ru 2017 solution list
  ☆91Updated last year
• yandex / yatool
  Yatool is a cross-platform distribution, building, testing, and debugging toolkit focused on monorepositories
  ☆156Updated this week
• volhovm / study-notes
  ITMO/CTD notes, y2013 🇺🇦
  ☆71Updated 5 years ago
• MailRuChamps / hlcupdocs
  High-loaded systems developer contest
  ☆151Updated 6 years ago
• mtrempoltsev / tarantool_highload
  Курс лекций для студентов МГУ и МФТИ посвященный проектированию высоконагруженных систем
  ☆32Updated last year
• excavador / blog
  ☆13Updated 6 years ago
• michael-emmi / violat
  ☆10Updated 10 months ago