Software design and implementation > TigerBeetle

A distributed financial accounting database to ensure that the money either moves, or doesn't move, that it doesn't get lost somewhere in between. It has been tested on Jepsen, which tested its strong serializability.