Alternatives and similar repositories for simulator_example

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

• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago
• ept / dist-sys
  Distributed systems lecture notes
  ☆61Updated 6 months ago
• BenJoyenConseil / rmi
  A learned index structure
  ☆53Updated 4 years ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆141Updated 10 months ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆66Updated 3 months ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆199Updated last year
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆118Updated last week
• DataDog / sketches-py
  Python implementations of the distributed quantile sketch algorithm DDSketch
  ☆86Updated 2 weeks ago
• kellabyte / holocron
  Holocron is an object storage based leader election library.
  ☆129Updated 7 months ago
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆24Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆210Updated last month
• elastic / elasticsearch-formal-models
  Formal models of core Elasticsearch algorithms
  ☆209Updated 3 months ago
• stanford-futuredata / Uniserve
  A runtime implementation of data-parallel actors.
  ☆38Updated 3 years ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆492Updated 6 months ago
• dranov / raft-tla
  ☆21Updated 3 years ago
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆120Updated 2 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆221Updated this week
• dranov / protocol-bugs-list
  List of bugs found in distributed protocols
  ☆198Updated last year
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆49Updated 3 years ago
• danslimmon / qsim
  Queueing system simulator
  ☆52Updated 8 years ago
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆79Updated 3 years ago
• databass-book-club / transaction_processing
  Notes on Transaction Processing: Concepts and Techniques by Jim Gray and Andreas Reuter
  ☆39Updated last year
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆78Updated last year
• dasebe / robinhoodcache
  RobinHood the first tail latency-aware caching system
  ☆94Updated 5 years ago
• ryanphuang / panorama
  Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection
  ☆117Updated 4 years ago
• efficient / HOPE
  Order-preserving key encoder
  ☆122Updated 5 years ago
• will62794 / mongo-repl-tla-models
  TLC models for the MongoDB Replication TLA+ specification.
  ☆21Updated 4 years ago
• ongardie / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆492Updated 2 months ago
• palvaro / CMPS128-Spring16
  Course site for CMPS128, Spring 2016
  ☆13Updated 8 years ago
• ahorn / linearizability-checker
  Fast linearizability checker
  ☆66Updated 9 years ago