chobo

.book — ledgers: accounts, their bounds, transfers, holds.

chobo declares accounts, the bounds each must keep, and the transfers between them, checks that no sequence of transfers, holds and expiries can take an account past a bound, and generates clients for PostgreSQL, TigerBeetle and the MySQL family (MySQL, TiDB and Vitess).

chobo has a site of its own: the chobo site.