hydro-project / kataraLinks
Synthesize CRDTs from classic data types with verified lifting!
☆149Updated 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.☆175Updated 3 weeks ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- A static web application to explore and animate a TLA+ state graph.☆197Updated 2 years ago
- self adjusting computations in rust☆137Updated 4 years ago
- Chronofold is a conflict-free replicated data structure (a.k.a. CRDT) for versioned text.☆94Updated 3 years ago
- a datalog interpreter in typescript☆212Updated 10 months ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆140Updated 2 weeks ago
- ☆102Updated 3 years ago
- ☆174Updated 2 months ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆225Updated last year
- Streaming and Incremental Computation Framework☆244Updated 2 years ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆158Updated last week
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆262Updated last week
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated last month
- A tool to visualize distributed system logs☆85Updated 3 years ago
- Engines, queries, and data for dynamic Datalog computation☆131Updated 4 years ago
- The practical relational programing language for data-oriented applications☆212Updated 2 years ago
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆62Updated 4 years ago
- Melda: A General Purpose Delta State JSON CRDT☆32Updated 7 months ago
- ☆86Updated last year
- ☆183Updated 5 months ago
- Some CRDT implementations in Datalog☆18Updated 7 years ago
- A Unikernel running WebAssembly code☆51Updated 2 years ago
- Learn TLA+ for free! No prior experience necessary!☆228Updated 7 months ago
- The command-line frontend to transactional consistency checkers for black-box databases☆29Updated 2 months ago
- Prototype Mixed-consistency transaction implementation☆64Updated 7 years ago
- Working area for Braid extensions to HTTP☆254Updated 11 months ago
- Peasy: An Intuitive Development Environment for P☆14Updated 6 months ago