An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Read-path sync engine for Postgres that handles partial replication, data delivery and fan-out.

STR

Convergent replicated datatypes in Erlang

A planet scale, highly available, transactional database built on CRDT technology

Deterministic DataFlow