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 2 weeks ago
- ☆101Updated 3 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆75Updated 2 years ago
- Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.☆131Updated last week
- This library provides an implementation of the DBSP language for incremental streaming computations.☆130Updated 5 months ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆218Updated last year
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- a datalog interpreter in typescript☆210Updated 6 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆231Updated last week
- 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
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated last month
- A pseudo-random deterministic merkle tree built on LMDB☆74Updated 3 months ago
- A list of languages that compile to SQL☆68Updated 3 years ago
- Engines, queries, and data for dynamic Datalog computation☆127Updated 3 years ago
- The practical relational programing language for data-oriented applications☆208Updated 2 years ago
- self adjusting computations in rust☆136Updated 3 years ago
- ☆11Updated 8 months ago
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- Byzantine Fault Tolerant CRDT's and other Eventually Consistent Algorithms☆62Updated 4 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆28Updated last week
- ☆182Updated last month
- Deterministic simulation of concurrency and failure in distributed systems☆39Updated last month
- A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.☆202Updated 3 years ago
- ☆172Updated 8 months ago
- ☆82Updated 8 months ago
- Prototype Mixed-consistency transaction implementation☆63Updated 7 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆85Updated 5 years ago
- Differential dataflow for mere mortals☆522Updated 3 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago