hydro-project / katara
Synthesize CRDTs from classic data types with verified lifting!
☆145Updated 10 months ago
Alternatives and similar repositories for katara:
Users that are interested in katara are comparing it to the libraries listed below
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- An implementation of differential dataflow using timely dataflow on Rust.☆165Updated 3 months ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆106Updated last month
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆214Updated 11 months ago
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.☆93Updated 3 years ago
- self adjusting computations in rust☆135Updated 3 years ago
- An experiment in controlling the size of a thread pool using a PID controller.☆117Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆132Updated last month
- a datalog interpreter in typescript☆209Updated 2 months ago
- Simple reimplementation of the diamond types sequence CRDT in simple, pure, unoptimized typescript.☆138Updated 11 months ago
- ☆99Updated 3 years ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Engines, queries, and data for dynamic Datalog computation☆124Updated 3 years ago
- Melda: A General Purpose Delta State JSON CRDT☆31Updated last week
- ☆172Updated 5 months ago
- Datalog with equality for rust☆68Updated 5 months ago
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆99Updated this week
- ☆80Updated 5 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆202Updated this week
- Streaming and Incremental Computation Framework☆230Updated last year
- Deterministic simulation of concurrency and failure in distributed systems☆35Updated 7 months ago
- Foundation DB Query Language☆141Updated last month
- A runtime implementation of data-parallel actors.☆38Updated 2 years ago
- A tool to visualize distributed system logs☆78Updated 3 years ago
- A Unikernel running WebAssembly code☆50Updated last year
- a 64-bit histogram / quantile sketch☆58Updated 2 months ago
- Differential dataflow for mere mortals☆520Updated 2 years ago
- Datalog + Egg = Good☆66Updated last year
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆24Updated 3 years ago