DuckDB is an analytical in-process SQL database management system

A distributed SQLite replicator built on top of NATS

Work with your web service, database, and streaming schemas in a single format.

TLA+ specifications for Raft and variants