nurturenature
Follow
Stars
SDK that enables local-first and real-time reactive apps with embedded SQLite for Flutter/Dart clients
Testing PowerSync with Jepsen for Causual Consistency, atomic transactions, and strong convergence.
Deterministic simulation of Jepsen histories for testing database checkers
Jepsen Tests for Causal Consistency
A modern low-level Clojure wrapper for JDBC-based access to databases.
Support library for working with Jepsen histories
Black-box transactional safety checker based on cycle detection
A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.
The financial transactions database designed for mission critical safety and performance.
A workbench for writing toy implementations of distributed systems.
A workaround for docker compose's lack of support for configuring systemd containers.
Verifies the linearizability of experimentally accessible histories.
Property testing distributed applications with fault injection and verification.
A planet scale, highly available, transactional database built on CRDT technology
A framework for distributed systems verification, with fault injection