Tag
CQL is an open-source tool that uses category theory to perform database operations such as querying, migrating, and integrating data with built-in correctness guarantees through theorem proving.