This is a collection of Architectural Katas, in JSON format, for use as a database in Kata-driven apps.

Specifying and Verifying CRDT Protocols using TLA+

Space exploration, trading, and combat game.