Alternatives and similar repositories for MixT

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

• Vanlightly / bookkeeper-tlaplus
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆104Updated last year
• will62794 / spectacle
  Interactive playground for exploring and sharing TLA+ specifications in the browser.
  ☆182Updated last month
• tlaplus / tlapm
  The TLA⁺ Proof Manager
  ☆106Updated 3 weeks ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆235Updated last month
• trvedata / crdt-isabelle
  Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…
  ☆75Updated 3 years ago
• informalsystems / modelator
  Model-based testing tool
  ☆62Updated 9 months ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆85Updated 4 years ago
• janestreet / tracing
  Tracing library
  ☆36Updated last month
• tlaplus-community / tlauc
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa
  ☆40Updated 5 months ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 7 years ago
• mirage / capnp-rpc
  Cap'n Proto RPC implementation
  ☆110Updated 11 months ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated last year
• tlaplus / foundation
  TLA+ Foundation
  ☆31Updated last month
• GaloisInc / daedalus
  The Daedalus data description language
  ☆87Updated last week
• janestreet / bin_prot
  Binary protocol generator
  ☆87Updated last month
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆150Updated last year
• mit-pdos / perennial
  Verifying concurrent storage and distributed systems
  ☆211Updated this week
• tlaplus / azure-cosmos-tla
  Azure Cosmos TLA+ specifications
  ☆22Updated 11 months ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆94Updated 3 weeks ago
• istoilkovska / synchronous-tla-benchmarks
  Synchronous fault-tolerant distributed algorithms encoded in TLA+
  ☆33Updated 4 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 4 months ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆134Updated 6 months ago
• BranchTaken / Hemlock
  Programming language
  ☆39Updated 6 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆47Updated last year
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆37Updated 5 months ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆103Updated 3 years ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆26Updated 3 years ago