description Add a TLA+ model to a Java project, so that TLC checks the invariants its core logic must keep (an order lifecycle, a saga, a circuit breaker, a lease, an idempotency key, a workflow) over ...

In-process DuckDB storage extension: a catalog whose contents come from another DatabaseInstance in the same process, rather than from a file. A source instance exposes selected tables to a target ...