Synthesize CRDTs from classic data types with verified lifting!
☆150May 2, 2024Updated last year
Alternatives and similar repositories for katara
Users that are interested in katara are comparing it to the libraries listed below
Sorting:
- A program synthesis framework for verified lifting applications☆61May 30, 2025Updated 9 months ago
- Azure Cosmos TLA+ specifications☆21Jan 21, 2025Updated last year
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 4 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Apr 3, 2021Updated 4 years ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆231Apr 16, 2024Updated last year
- A minimal C library for operational transform☆113Jul 30, 2015Updated 10 years ago
- ergonomic columnar storage encoding crate☆27Sep 23, 2025Updated 5 months ago
- ☆18Jun 29, 2021Updated 4 years ago
- ☆19Aug 3, 2023Updated 2 years ago
- Finite state machines using JSX and chainable methods☆26Jan 5, 2023Updated 3 years ago
- A Rust framework for correct and performant distributed systems☆1,185Updated this week
- Global state machines in an easy way☆21Oct 2, 2022Updated 3 years ago
- A Datalog execution engine for Scala☆15Sep 1, 2025Updated 6 months ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆27Nov 18, 2022Updated 3 years ago
- ☆51Nov 22, 2024Updated last year
- ☆29May 6, 2022Updated 3 years ago
- LensVM specifications and ABI definition☆12Apr 10, 2021Updated 4 years ago
- Spatialyze: A Geospatial Video Analytic System with Spatial-Aware Optimizations☆11Mar 3, 2025Updated last year
- A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary☆13Sep 8, 2022Updated 3 years ago
- Incremental Consistent Topological Sort for Append-only Logs☆14Jun 28, 2022Updated 3 years ago
- open-source email platform purpose-built for sending investor updates☆12Jul 12, 2024Updated last year
- Explorations into specification-as-a-value☆42Mar 15, 2013Updated 12 years ago
- The last-write-wins register CRDT☆17Nov 10, 2024Updated last year
- Store multi-tenant metrics in ClickHouse☆14Aug 26, 2022Updated 3 years ago
- (Det)erministic deadl(ock) resolution for high-throughput, low-latency, and strongly consistent data stores.☆28May 12, 2025Updated 9 months ago
- Melda: A General Purpose Delta State JSON CRDT☆33Mar 17, 2025Updated 11 months ago
- The world's fastest CRDT. WIP.☆1,766Sep 30, 2025Updated 5 months ago
- Lock-free elimination back-off stack☆12Jan 6, 2022Updated 4 years ago
- My way of learning Rust, and trying to implement an xstate-like statechart library☆14Mar 21, 2022Updated 3 years ago
- Benchmarking how quickly storage systems respond to GDPR queries☆10Mar 26, 2021Updated 4 years ago
- Live Streaming with LiveView and Mux☆14Sep 24, 2020Updated 5 years ago
- ☆48Jan 3, 2026Updated 2 months ago
- A C++ port of karpathy/micrograd, a tiny scalar-valued autograd engine and a neural net library☆13Nov 24, 2023Updated 2 years ago
- ☆10Mar 16, 2016Updated 9 years ago
- ☆18Sep 10, 2025Updated 5 months ago
- LLVM assembly syntax highlighting and snippets☆14Jan 24, 2026Updated last month
- Class for creating an Installer.app like setup process from a set of view controllers.☆61May 24, 2018Updated 7 years ago
- JavaScript/TypeScript SDK for interacting with the Arweave network☆19Jul 23, 2022Updated 3 years ago
- Experimental strongly typed state machine library.☆16Nov 21, 2023Updated 2 years ago