Pretty interesting: imperative programming meets relational DB models meets column store, with a serving of constant-time operations on top for data marked as secret.

Also, memory-safe and blazingly fast in certain circumstances. Not complete though, some tests currently fail.