hydro-project / kataraLinks
Synthesize CRDTs from classic data types with verified lifting!
☆147Updated last year
Alternatives and similar repositories for katara
Users that are interested in katara are comparing it to the libraries listed below
Sorting:
- This library provides an implementation of the DBSP language for incremental streaming computations.☆119Updated 3 months ago
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆125Updated this week
- An implementation of differential dataflow using timely dataflow on Rust.☆168Updated this week
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated 2 weeks ago
- A pseudo-random deterministic merkle tree built on LMDB☆73Updated 2 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.☆93Updated 3 years ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆223Updated this week
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- Simple reimplementation of the diamond types sequence CRDT in simple, pure, unoptimized typescript.☆145Updated this week
- ☆100Updated 3 years ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆216Updated last year
- Engines, queries, and data for dynamic Datalog computation☆124Updated 3 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- A Unikernel running WebAssembly code☆51Updated 2 years ago
- self adjusting computations in rust☆136Updated 3 years ago
- Deterministic simulation of concurrency and failure in distributed systems☆35Updated this week
- A runtime implementation of data-parallel actors.☆38Updated 3 years ago
- Streaming and Incremental Computation Framework☆238Updated last year
- A tool to visualize distributed system logs☆79Updated 3 years ago
- Datalog with equality for rust☆68Updated last month
- ☆81Updated 7 months ago
- ☆172Updated 7 months ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆59Updated 4 years ago
- Prototype compiler from SaneQL to SQL☆81Updated last year
- Programming Language for Continuous Deep Analytics☆47Updated last year
- Melda: A General Purpose Delta State JSON CRDT☆31Updated 2 months ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆44Updated 2 years ago
- Learn TLA+ for free! No prior experience necessary!☆211Updated 2 months ago