I saw this guys using a Mac app to admin a MySQL database in this video and was wondering what app it is. Here's a screenshot: