Alternatives and similar repositories for katara:

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

• frankmcsherry / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆167Updated 2 weeks ago
• dkellner / chronofold
  Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.
  ☆93Updated 3 years ago
• lord / anchors
  self adjusting computations in rust
  ☆136Updated 3 years ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆73Updated 2 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated 3 weeks ago
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆117Updated last year
• will62794 / spectacle
  Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.
  ☆117Updated this week
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆114Updated 3 months ago
• canvasxyz / okra
  A pseudo-random deterministic merkle tree built on LMDB
  ☆72Updated last month
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆210Updated 4 months ago
• cfallin / weval
  ☆172Updated 6 months ago
• vmware-archive / database-stream-processor
  Streaming and Incremental Computation Framework
  ☆235Updated last year
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• jackyzha0 / bft-json-crdt
  🏰 the first JSON-like Byzantine Fault Tolerant CRDT
  ☆216Updated last year
• slashdotted / libmelda
  Melda: A General Purpose Delta State JSON CRDT
  ☆31Updated last month
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆81Updated 4 years ago
• JYwellin / CRDT-TLA
  Specifying and Verifying CRDT Protocols using TLA+
  ☆42Updated 3 years ago
• tigerbeetle / viewstamped-replication-made-famous
  A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
  ☆199Updated 2 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆199Updated last year
• jamii / dida
  Differential dataflow for mere mortals
  ☆521Updated 3 years ago
• cda-group / arc
  Programming Language for Continuous Deep Analytics
  ☆47Updated last year
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• mikeal / prolly-trees
  Hash consistent search trees.
  ☆93Updated last year
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆214Updated this week
• scality / elmerfs
  ☆100Updated 3 years ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated last week
• frankmcsherry / dynamic-datalog
  Engines, queries, and data for dynamic Datalog computation
  ☆124Updated 3 years ago
• Cjen1 / consensus-tlaplus
  ☆11Updated 6 months ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆199Updated 3 years ago
• ligurio / elle-cli
  The command-line frontend to transactional consistency checkers for black-box databases
  ☆28Updated 2 months ago