Alternatives and similar repositories for timewinder-prototype:

Users that are interested in timewinder-prototype are comparing it to the libraries listed below

• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆145Updated 10 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• kelvich / tlaplus_jupyter
  Jupyter kernel for TLA⁺
  ☆119Updated 2 years ago
• tlaplus / PlusPy
  Python interpreter for TLA+ specifications
  ☆113Updated 9 months ago
• verse-lab / ceramist
  Verified hash-based AMQ structures in Coq
  ☆121Updated 4 years ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆45Updated 2 months ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• zmaril / bpfquery
  Zack's experimental tool for querying BPF with SQL.
  ☆38Updated 5 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆187Updated last week
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆95Updated this week
• danslimmon / qsim
  Queueing system simulator
  ☆52Updated 8 years ago
• Tablam / TablaM
  The practical relational programing language for data-oriented applications
  ☆196Updated 2 years ago
• lorin / tla-linearizability
  Reading the linearizability paper with TLA+
  ☆48Updated 2 years ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆164Updated 2 months ago
• mbrooker / simulator_example
  Small numerical simulator example
  ☆53Updated last year
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆117Updated last year
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆452Updated last month
• jamii / dida
  Differential dataflow for mere mortals
  ☆518Updated 2 years ago
• DistCompiler / pgo
  PGo is a source to source compiler from Modular PlusCal specs into Go programs.
  ☆176Updated this week
• salesforce / runway-browser
  Interactive visualization framework for Runway models of distributed systems
  ☆187Updated 3 years ago
• Cjen1 / consensus-tlaplus
  ☆11Updated 4 months ago
• japgolly / tla2json
  Convert TLA+ output (and values) into JSON
  ☆26Updated 4 years ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆76Updated 4 years ago
• tlaplus-community / tree-sitter-tlaplus
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆61Updated last week
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 3 months ago
• Fault-lang / Fault
  a language for building system dynamic models
  ☆165Updated 7 months ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• geokat / cgfy
  Run a process in its own cgroup
  ☆26Updated 10 years ago