hydro-project / kataraLinks
Synthesize CRDTs from classic data types with verified lifting!
☆148Updated last year
Alternatives and similar repositories for katara
Users that are interested in katara are comparing it to the libraries listed below
Sorting:
- An implementation of differential dataflow using timely dataflow on Rust.☆172Updated this week
- ☆102Updated 3 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆135Updated 7 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- self adjusting computations in rust☆136Updated 3 years ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆138Updated 2 weeks ago
- a datalog interpreter in typescript☆212Updated 8 months ago
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.☆93Updated 3 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Engines, queries, and data for dynamic Datalog computation☆127Updated 4 years ago
- Prototype Mixed-consistency transaction implementation☆63Updated 7 years ago
- Streaming and Incremental Computation Framework☆242Updated 2 years ago
- ☆173Updated 2 weeks ago
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated 3 months ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆220Updated last year
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- Melda: A General Purpose Delta State JSON CRDT☆32Updated 5 months ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆62Updated 4 years ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆251Updated last week
- An interactive Datalog☆49Updated this week
- Datalog with equality for rust☆69Updated last week
- ☆83Updated 10 months ago
- Programming Language for Continuous Deep Analytics☆47Updated last year
- Learn TLA+ for free! No prior experience necessary!☆223Updated 5 months ago
- The practical relational programing language for data-oriented applications☆209Updated 2 years ago
- A Unikernel running WebAssembly code☆50Updated 2 years ago
- A modular implementation of timely dataflow in Rust☆117Updated 2 weeks ago
- Datalog + Egg = Good☆66Updated 2 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 8 months ago