@obrhoff @tobyhede he left as the CTO of MariaDB Plc. No, it is definitely not dead.
Also, the MariaDB Foundation exists to keep MariaDB Server development going. We work with the Plc, but are a completely separate entity.