Alternatives and similar repositories for simulator_example

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

• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆500Updated last year
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆86Updated 4 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆198Updated 2 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆277Updated this week
• aws / clock-bound
  Used to generate and compare bounded timestamps.
  ☆311Updated 2 months ago
• Netflix-Skunkworks / service-capacity-modeling
  ☆89Updated last week
• DataDog / sketches-py
  Python implementations of the distributed quantile sketch algorithm DDSketch
  ☆89Updated last week
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆86Updated 4 years ago
• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆105Updated last year
• elastic / elasticsearch-formal-models
  Formal models of core Elasticsearch algorithms
  ☆214Updated last year
• ept / dist-sys
  Distributed systems lecture notes
  ☆68Updated 3 months ago
• will62794 / mongo-repl-tla-models
  TLC models for the MongoDB Replication TLA+ specification.
  ☆21Updated 5 years ago
• databass-book-club / transaction_processing
  Notes on Transaction Processing: Concepts and Techniques by Jim Gray and Andreas Reuter
  ☆37Updated 2 years ago
• Vanlightly / kafka-tlaplus
  TLA+ specifications for Kafka related algorithms
  ☆86Updated last year
• kaelzhang81 / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆66Updated 6 years ago
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆185Updated 2 weeks ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆236Updated last month
• BenJoyenConseil / rmi
  A learned index structure
  ☆53Updated 5 years ago
• Cjen1 / consensus-tlaplus
  ☆11Updated last year
• ryanphuang / panorama
  Panorama: Capturing and Enhancing In Situ System Observability for Failure Detection
  ☆117Updated 5 years ago
• Apress / db-performance-at-scale
  Related resources for "Database Performance at Scale: A Practical Guide (Apress, 2023)," by Felipe Cardeneti Mendes, Piotr Sarna, Pavel E…
  ☆123Updated 7 months ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆121Updated 3 years ago
• antithesishq / glitch-grid
  Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.
  ☆39Updated last month
• openhistogram / libcircllhist
  A C implementation of OpenHistogram log-linear histograms
  ☆115Updated 5 months ago
• kellabyte / holocron
  Holocron is an object storage based leader election library.
  ☆128Updated last year
• tlaplus / CommunityModules
  TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
  ☆302Updated 2 weeks ago
• stanford-futuredata / Uniserve
  A runtime implementation of data-parallel actors.
  ☆39Updated 3 years ago
• tlaplus / awesome-tlaplus
  A curated list of TLA+ resources.
  ☆164Updated last week
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆89Updated 6 years ago
• vmware-archive / declarative-cluster-management
  Declarative cluster management using constraint programming, where constraints are described using SQL.
  ☆102Updated 2 years ago