Alternatives and similar repositories for katara:

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

• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆165Updated 2 months ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆92Updated 3 years ago
• cfallin / weval
  ☆172Updated 4 months ago
• lord / anchors
  self adjusting computations in rust
  ☆135Updated 3 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆194Updated this week
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆214Updated 10 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆105Updated last month
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated last month
• scality / elmerfs
  ☆99Updated 3 years ago
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆230Updated last year
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆99Updated this week
• tigerbeetle / viewstamped-replication-made-famous
  A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
  ☆198Updated 2 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆209Updated 2 months ago
• josephg / eg-walker-reference
  Simple reimplementation of the diamond types sequence CRDT in simple, pure, unoptimized typescript.
  ☆138Updated 11 months ago
• jamii / dida
  Differential dataflow for mere mortals
  ☆519Updated 2 years ago
• DistributedClocks / shiviz
  A tool to visualize distributed system logs
  ☆77Updated 3 years ago
• josephg / editing-traces
  Real world text editing traces for benchmarking CRDT and Rope data structures
  ☆46Updated last year
• harp-lab / gdlog
  ☆79Updated 4 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 4 months ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆29Updated last week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆32Updated 2 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆29Updated 2 years ago
• antithesishq / antithesis-sdk-go
  Antithesis SDK for Go
  ☆33Updated 2 months ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated last year
• wildarch / jepsen.rqlite
  ☆58Updated 2 years ago
• slashdotted / libmelda
  Melda: A General Purpose Delta State JSON CRDT
  ☆29Updated this week