Synthesize CRDTs from classic data types with verified lifting!
☆149May 2, 2024Updated 2 years ago
Alternatives and similar repositories for katara
Users that are interested in katara are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A program synthesis framework for verified lifting applications☆68May 24, 2026Updated 5 months ago
- A distributed database service for the Concordant platform.☆13Sep 17, 2022Updated 4 years ago
- compiler for fortran stencils using verified lifting,☆20Apr 5, 2022Updated 4 years ago
- Azure Cosmos TLA+ specifications☆21Jan 21, 2025Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆12Jul 10, 2020Updated 6 years ago
- Statecharts☆20May 28, 2026Updated 5 months ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 5 years ago
- 🏰 the first JSON-like Byzantine Fault Tolerant CRDT☆236Apr 16, 2024Updated 2 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆27Nov 18, 2022Updated 3 years ago
- Melda: A General Purpose Delta State JSON CRDT☆34Aug 4, 2026Updated 3 months ago
- Real world text editing traces for benchmarking CRDT and Rope data structures☆66Sep 26, 2025Updated last year
- This repository hosts the code used for the following paper: Claude Barthels, Ingo Müller, Konstantin Taranov, Torsten Hoefler, Gustavo A…☆11Nov 1, 2019Updated 7 years ago
- Spatialyze: A Geospatial Video Analytic System with Spatial-Aware Optimizations☆13Mar 3, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Optimal partitioning of Variable-Byte codes for better compression and fast decoding.☆17Nov 10, 2021Updated 4 years ago
- A Rust framework for correct and performant distributed systems☆1,537Updated this week
- ☆10Mar 16, 2016Updated 10 years ago
- A service for launching containerized processes on cloud infrastructure.☆12Nov 16, 2023Updated 2 years ago
- Lexicographically-ordered position strings for collaborative lists and text☆49Dec 17, 2023Updated 2 years ago
- Lock-free elimination back-off stack☆12Jan 6, 2022Updated 4 years ago
- ☆11Jun 16, 2024Updated 2 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Summaries of readings in operating systems, networking and machine learning☆22Feb 4, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆15Updated this week
- Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite☆3,826Aug 10, 2026Updated 2 months ago
- Some CRDT implementations in Datalog☆18Jul 20, 2018Updated 8 years ago
- Differential dataflow for mere mortals☆530Apr 14, 2022Updated 4 years ago
- ☆14Jun 15, 2026Updated 4 months ago
- TLA+ specification of Fast Flexible Paxos☆17Oct 9, 2020Updated 6 years ago
- ergonomic columnar storage encoding crate☆29Sep 23, 2025Updated last year
- A C++ port of karpathy/micrograd, a tiny scalar-valued autograd engine and a neural net library☆13Nov 24, 2023Updated 2 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆37Jun 8, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Global state machines in an easy way☆20Oct 2, 2022Updated 4 years ago
- A Swiss Army knife for read-write quorum systems☆84Jun 7, 2021Updated 5 years ago
- A sandboxed local task runner for Rust☆23Sep 20, 2024Updated 2 years ago
- Zero-copy, no-std proquint encoding and decoding☆14May 7, 2023Updated 3 years ago
- The world's fastest CRDT. WIP.☆1,853Sep 2, 2026Updated 2 months ago
- ☆12Oct 14, 2026Updated 3 weeks ago
- HTTP handler for serving browserify bundles☆16Aug 31, 2014Updated 12 years ago